इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें इसलिए, उनकी 1925 स्वयंसिद्ध प्रणाली एक स्वयंसिद्ध प्रणाली के साथ अपेक्षाकृत सुसंगत है जो ZFC के करीब है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "इसलिए, उनकी 1925 स्वयंसिद्ध प्रणाली एक स्वयंसिद्ध प्रणाली के साथ अपेक्षाकृत सुसंगत है जो ZFC के करीब है - प्रमुख शेष अंतर यह है कि यह प्रणाली कक्षाओं का उपयोग करती है और इसकी पसंद स्वयंसिद्ध मजबूत है। "