| 意味 | 共起表現 |
「ZFC」の共起表現一覧(1語右で並び替え)
該当件数 : 34件
| s vice-commander of the Zhejiang Front Command ( | ZFC)-established in 1954 by order of Mao Zedong and |
| The axioms of | ZFC along with the universe axiom (or equivalently |
| he existence of a Suslin tree is undecidable in | ZFC, and is equivalent to the existence of a Suslin |
| If transitive class N is an inner model of | ZFC and j has no critical point, i.e. every ordinal |
| were at first suspected to be inconsistent (in | ZFC) as it was thought possible that Kunen's incons |
| Hence the consistency of | ZFC cannot be proved within ZFC itself (unless it i |
| ounded in 1996 by Zico, and is the house of the | ZFC Club - which competes on the B Series of the Ri |
| During a meeting of the | ZFC commanders on 31 August 1954, Nie opposed the " |
| The consistency of | ZFC does follow from the existence of a weakly inac |
| ZFC does not assume that, for every property, there | |
| relevant cardinals exist, it is consistent with | ZFC either that the first measurable cardinal is st |
| xistence of a minimal model cannot be proved in | ZFC, even assuming that ZFC is consistent, but foll |
| Nevertheless, it is unlikely that | ZFC harbors an unsuspected contradiction; if ZFC we |
| ible to have elementary embeddings of models of | ZFC into themselves assuming a mild large cardinal |
| (If Zermelo-Fraenkel set theory ( | ZFC) is consistent, then neither the continuum hypo |
| Thus, to the extent that | ZFC is identified with ordinary mathematics, the co |
| The Zico Football Center ( | ZFC) is a sports complex in Rio de Janeiro, Brazil. |
| ZFC is silent about types, although some argue that | |
| This much is certain - | ZFC is immune to the classic paradoxes of naive set |
| he cardinality of the continuum, whose value in | ZFC may be any uncountable cardinal of uncountable |
| After only a half year with | ZFC Meuselwitz returned to Jena and signed for SV S |
| Sebastian Gasch ( | ZFC Meuselwitz) |
| 30, 1975) is a German footballer who plays for | ZFC Meuselwitz. |
| reserve team, he signed than on 9 July 2009 for | ZFC Meuselwitz. |
| In some extensions of | ZFC, objects like R are called proper classes. |
| On the other hand, it is a theorem of | ZFC that there are uncountable trees with no uncoun |
| Assuming | ZFC, the inaccessible cardinal axiom is equivalent |
| tandard axiomatic system of set theory known as | ZFC: the statement can neither be proven nor dispro |
| cardinal axioms not known to be inconsistent in | ZFC; the axiom for Reinhardt cardinals is stronger, |
| ty cannot be formulated in the usual set theory | ZFC: the embedding j is a class of the form {x | φ( |
| They cannot be proved to exist within | ZFC, though their existence is not known to be inco |
| shows that ω-huge cardinals are inconsistent in | ZFC, though it is still open whether they are consi |
| add a new function symbol j to the language of | ZFC, together with axioms stating that j is an elem |
| 意味 | 共起表現 |
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|