Japanese
English
Arabic
Chinese
Dutch
French
German
Greek
Hebrew
Hindi
Italian
Japanese
Korean
Polish
Portuguese
Russian
Spanish
more...
Translate into...
English
Arabic
Chinese
Dutch
French
German
Greek
Hebrew
Hindi
Italian
Japanese
Korean
Polish
Portuguese
Russian
Spanish
more...
bn:00739900n
Noun Concept
Categories: 数学に関する記事, 数理論理学
JA
強制法
See more
JA
数学の集合論における強制法(きょうせいほう、Forcing)とは、ポール・コーエンによって開発された無矛盾性や独立性を証明するための手法である。 Wikipedia
English:
logic
set theory
mathematics
Quit
Change View
Definitions
Relations
Sources
Japanese
More languages...
English
Arabic
Chinese
Dutch
French
German
Greek
Hebrew
Hindi
Italian
Japanese
Korean
Polish
Portuguese
Russian
Spanish
more...
JA
数学の集合論における強制法(きょうせいほう、Forcing)とは、ポール・コーエンによって開発された無矛盾性や独立性を証明するための手法である。 Wikipedia
PART OF
DIFFERENT FROM
DISCOVERER OR INVENTOR
Wikipedia
Wikidata