Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
証明論
ウィキペディア日本語版 Wikipedia - フリー百科事典
Download this dictionary
証明論
証明論
()は、
数理論理学
の一分野であり、
証明
を
数学的対象
として形式的に表し、それに数学的解析を施す。
Wikipedia.orgをもっと見ると…
c この記事は
ウィキペディア
の内容を用いており
グニュー・フリー・ドキュメンテーション・ライセンス
のライセンスのもとに提供されています そして
テキストはクリエイティブ・コモンズ 表示-継承ライセンスの下で利用可能です
。