Lexikon der Mathematik: mengentheoretische Arithmetik
Axiomensystem der axiomatischen Mengenlehre, das man erhält, wenn man in ZF das Unendlichkeitsaxiom durch seine Negation ersetzt.
Copyright Springer Verlag GmbH Deutschland 2017
Axiomensystem der axiomatischen Mengenlehre, das man erhält, wenn man in ZF das Unendlichkeitsaxiom durch seine Negation ersetzt.
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.