दूसरे शब्दों में, प्रत्येक सूत्र जो किसी दिए गए स्वयंसिद्ध सेट को अनिवार्य रूप से शामिल करता है और पिछले कुछ सौ साल पहले, तर्क प्रणाली का निर्माण करने और यह दिखाने के लिए बहुत से लोग थे कि वे अनिवार्य रूप से पूर्ण हैं।