Rank in set theory without foundation (Q1306799)

Die Verfasser betrachten die Mengentheorie, in der das Fundierungsaxiom nicht gültig ist, statt dessen aber das sogenannte schwache Fundierungsaxiom. Das bedeutet, dass Zyklen in der Form \(x_1\in x_2\in\cdots\in x_n\in x_1\) nicht existieren, dageben aber regressive unendliche Folgen \(\cdots x_n\in\cdots\in x_3\in x_2\in x_1\). Es wird bewiesen, dass diese Theorie ein Modell hat. Weiter wird bewiesen, dass man in dieser Theorie nicht den Begriff des Ranges der Menge definieren kann, so dass alle Ränge von Mengen linear angeordnet wären und der Rang einer beliebigen Menge den Rängen aller ihrer Elemente folgt.