प्रसंग: नींव के स्वयंसिद्ध सिद्धांत ने स्थापित किया कि प्रत्येक समूह का निर्माण ज़र्मेलो और फ्रेनकेल के सिद्धांतों के माध्यम से चरणों के क्रमबद्ध अनुक्रम में नीचे से ऊपर किया जा सकता है, इस तरह से कि यदि एक सेट दूसरे का है तो पहले सेट को होना चाहिए। अनिवार्य रूप से उत्तराधिकार में दूसरे से पहले आता है, इसलिए स्वयं से संबंधित एक समूह की संभावना को छोड़कर। यह प्रदर्शित करने के लिए कि दूसरों के लिए इस नए स्वयंसिद्ध के जुड़ने से विरोधाभास पैदा नहीं हुए, वॉन न्यूमैन ने प्रदर्शन की एक विधि पेश की, जिसे आंतरिक मॉडल की विधि कहा जाता है, जो बाद में सेट सिद्धांत में एक आवश्यक उपकरण बन गया।

सवाल: यह प्रदर्शित करने की विधि क्या है कि नींव के स्वयंसिद्ध को जोड़ने से कोई विरोधाभास नहीं पैदा हुआ था?

उत्तर: आंतरिक प्रतिरूपों की विधि