Head noun: zfc
| Same concepts |
|---|
| http://dbpedia.org/resource/Zermelo–Fraenkel_set_theory |
Broader concepts
| label | provenance | confidence |
|---|---|---|
| first order theory | isap:211923814 | 0.596420 |
| set theory | isap:211923813 | 0.504803 |
| much stronger theory | isap:211923818 | 0.361886 |
| material set theory | isap:211923815 | 0.348811 |
| axiomatic system | isap:212883457 | 0.328844 |
| theory | isap:211923812 | 0.316521 |
| first-order theory | isap:211923817 | 0.306099 |
| first-order logic | isap:469572215 | 0.303695 |
| formal system | isap:212883456 | 0.289258 |
| axiom system | isap:212883454 | 0.281225 |
| formal theory | isap:211923819 | 0.275496 |
| foundational theory | isap:211923816 | 0.256594 |
| zfc | isap:279157452 | 0.207487 |
| extension | isap:263057965 | 0.180890 |
| system | isap:212883455 | 0.175195 |
| set | isap:279167007 | 0.138851 |
| ch | isap:415896108 | 0.117233 |
| axiom | isap:467228294 | 0.099178 |
| counterexample | isap:264739816 | 0.098551 |
| question | isap:328589450 | 0.040383 |
Narrower concepts
| label | provenance | confidence |
|---|---|---|
| zfc | isap:279157452 | 0.207487 |
| etc | isap:280951782 | 0.117354 |
| ch | isap:187119478 | 0.086686 |