نظرية مجموعة مورس-كيلي (Q3454657)

من Marefa data
first‐order axiomatic set theory permitting proper classes and class comprehension with bound (possibly proper) classes الإنجليزية
اللغة التسمية الوصف أسماء أخرى
العربية
نظرية مجموعة مورس-كيلي
لا يوجد وصف
    الإنجليزية
    Morse–Kelley set theory
    first‐order axiomatic set theory permitting proper classes and class comprehension with bound (possibly proper) classes
    • MK
    • Kelley–Morse set theory
    • KM
    • Morse–Tarski set theory
    • MT
    • Quine–Morse set theory
    • QM
    • system of Quine and Morse
    • Morse-Kelley set theory

    بيانات

    Wikidata item الإنجليزية
    ٠ مرجع
    Freebase ID الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    named after الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    has part(s) الإنجليزية
    axiom of extensionality الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    time of discovery or invention الإنجليزية
    1955http://data.marefa.org/entity/Q1985727
    sourcing circumstances الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    instance of الإنجليزية
    axiomatic set theory الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    alternative set theory الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    Microsoft Academic ID الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية
    studied by الإنجليزية
    ١ مراجع
    Imported from Wikidata item الإنجليزية