स्वयंसिद्धों की सूची

From alpha
Jump to navigation Jump to search

यह सूक्तियों की एक सूची है क्योंकि यह शब्द विकिपीडिया पृष्ठ द्वारा गणित में समझा जाता है। ज्ञानमीमांसा में, 'स्वयंसिद्ध' शब्द को अलग तरह से समझा जाता है; स्वयंसिद्ध और आत्म-साक्ष्य देखें। व्यक्तिगत स्वयंसिद्ध लगभग हमेशा एक बड़ी स्वयंसिद्ध प्रणाली का हिस्सा होते हैं।

ZF (पसंद के स्वयंसिद्ध के बिना ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध)

पसंद के स्वयंसिद्ध (नीचे देखें) के साथ, ये समकालीन गणित या सेट सिद्धांत के लिए वास्तविक मानक स्वयंसिद्ध हैं। उन्हें समान सिद्धांतों के लिए आसानी से अनुकूलित किया जा सकता है, जैसे कि मात्रविज्ञान।

ज़र्मेलो सेट सिद्धांत भी देखें।

पसंद का स्वयंसिद्ध

उपरोक्त ज़र्मेलो-फ्रेंकेल स्वयंसिद्धों के साथ, यह ज़र्मेलो-फ्रेंकेल सेट सिद्धांत को बनाता है जिसमें अधिकांश गणित संभावित रूप से औपचारिक है।

एसी के समकक्ष

=== एसी === से मजबूत

एसी से कमजोर

=== एसी === के साथ असंगत विकल्प

गणितीय तर्क के अन्य स्वयंसिद्ध

  • वॉन न्यूमैन-बर्नेज़-गोडेल अभिगृहीत
  • सातत्य परिकल्पना और सातत्य परिकल्पना#The_generalized_continuum_hypothesis
  • फ़्रीलिंग की समरूपता का स्वयंसिद्ध
  • दृढ़ संकल्प का सिद्धांत
  • प्रक्षेपी निर्धारण की कसौटी
  • मार्टिन का स्वयंसिद्ध
  • निर्माणशीलता का स्वयंसिद्ध
  • रैंक-इन-रैंक
  • कृपके-प्लेटेक स्वयंसिद्ध
  • हीरा सिद्धांत

ज्यामिति

  • समानांतर अभिधारणा
  • बिरखॉफ के अभिगृहीत (4 अभिगृहीत)
  • हिल्बर्ट के स्वयंसिद्ध (20 स्वयंसिद्ध)
  • टार्स्की के स्वयंसिद्ध (10 स्वयंसिद्ध और 1 स्कीमा)

अन्य स्वयंसिद्ध

श्रेणी:गणित से संबंधित सूचियाँ श्रेणी:गणितीय अभिगृहीत|*

यह भी देखें