Das Fundierungsaxiom schließt doch ausdrücklich "Jede nichtleere Menge ..." ein. Das heißt demnach auch eine nichtleere Menge, deren Elemente selbst keine Mengen mehr sind. Denn wie wir beim Thema Vereinigungsaxiom schon geklärt haben, kann ein Element eine Menge sein. Aber es muß keine Menge sein. Das hieße, daß das Fundierungsaxiom nicht für jede Menge gilt, sondern nur für Mengen, deren Elemente selbst Mengen sind.