Diskussion:New Foundations

aus Wikipedia, der freien Enzyklopädie
Letzter Kommentar: vor 7 Jahren von Wilfried Neumaier in Abschnitt ML
Zur Navigation springen Zur Suche springen

ML[Quelltext bearbeiten]

Ist es sinnvoll, hier ML einzufügen als inkonsistente Klassenlogik (Burali-Forti-Paradoxon)?--Wilfried Neumaier (Diskussion) 17:43, 10. Jun. 2016 (CEST)Beantworten

Ich glaube nicht, dass es sich lohnt, einen eigenen Artikel über ML zu schreiben. Daher der neue Abschnitt. Und es ist ja keine inkonsistente Klassenlogik. Gruß --KaliNala (Diskussion) 17:33, 11. Jun. 2016 (CEST)Beantworten

Das müsste im Artikel besser dargestellt werden. Wenn die Burali-Forti ableitbar ist, ist es doch inkonsistent. Wenn nicht, dann müsste in der angeblichen Ableitung ein Fehler sein und man sollte sie dann auch nicht zitieren. --Wilfried Neumaier (Diskussion) 22:12, 13. Jun. 2016 (CEST)Beantworten