bn:00581372n
Noun Named Entity
Categories: 集合論, 形式論理体系
JA
Ω-論理  Ω論理  Ω予想
JA
Ω論理(Ω-logic)は、集合論ではW. Hugh Woodin によって提案された無限論理と演繹体型である。. Wikipedia
Definitions
Sources
JA
Ω論理(Ω-logic)は、集合論ではW. Hugh Woodin によって提案された無限論理と演繹体型である。. Wikipedia
Wikipedia
Wikidata
Wikidata Alias