bn:01075545n
Noun Concept
Categories: メタ論理学, 数理論理学, 数学に関する記事, 証明論
JA
証明論  証明理論
JA
証明論(しょうめいろん、英語: proof theory)は、数理論理学の一分野であり、証明を数学的対象として形式的に表し、それに数学的解析を施す。. Wikipedia
Definitions
Relations
Sources
JA
証明論(しょうめいろん、英語: proof theory)は、数理論理学の一分野であり、証明を数学的対象として形式的に表し、それに数学的解析を施す。. Wikipedia
数理論理学の一分野であり、証明を数学的対象として形式的に表して数学的解析を施す分野 Wikidata
Wikipedia
Wikidata
Wikipedia Redirections
Wikidata Alias