Diskussion:Ω-konsistente Theorie
Letzter Kommentar: vor 11 Jahren von Frogfol in Abschnitt Veränderungsvorschläge
Veränderungsvorschläge
[Quelltext bearbeiten]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)