Diskussion:Ω-konsistente Theorie

Veränderungsvorschläge

Letzter Kommentar: vor 11 Jahren1 Kommentar1 Person ist an der Diskussion beteiligt

Ich weiß nicht, was sich die englische wikipedia gedacht hat, aber ich halte nicht gewisse unendliche Kombinationen von Sätzen beweisen kann, welche intuitiv widersprüchlich sind. für verwirrend, wenn nicht gar für falsch.

Die Definition kann man auch direkt hinschreiben, ohne den Umweg über die nicht-ω-Konsistenz.

Eine formale Definition ist mE auch hilfreich, die ergänze ich mal auf jeden Fall.--Frogfol (Diskussion) 21:21, 31. Jul. 2012 (CEST)Beantworten

Abschnitt hinzufügen