செர்மெலோ-ஃப்ராங்கெல்
Zermelo-Fraenkel அணுகுமுறையின் கீழ், தங்களுக்குச் சொந்தமல்லாத அனைத்து கணங்களின் தொகுப்பை உருவாக்குவதற்கு சான்றுகள் தடையாக உள்ளன.
எந்த அணுகுமுறையின்கீழ் தங்களுக்குச் சொந்தமல்லாத அனைத்து தொகுப்புகளின் தொகுப்பை ஒரு சாஸ்திரம் தடைசெய்கிறது?