语言
没有数据
通知
无通知
〔論〕
後方へしりぞくこと。
宇宙論的証明（うちゅうろんてきしょうめい）または宇宙論的議論（うちゅうろんてきぎろん）とは、キリスト教の自然神学において宇宙や対象の総体に関する因果関係、説明、変化、運動、偶発性、依存性、有限性などの事実から、神の存在を推論できると主張する議論である。この議論には、in esse（本質）とin
証明を書くことは、機械語でプログラミングをするようなものである。 現代では、形式的証明は一般に計算機支援証明を補助としてコンピュータを使って構築される。また、その証明がコンピュータで自動的に検証される点も重要である。形式的証明の検証は簡単だが、証明そのものをコンピュータが構築すること（自動定理証明
〔「あとすざり」とも〕
〔「あとしざり」とも〕
〔(ドイツ) dialektischer Materialismus〕
〔哲〕
搜索 
