12/08/19 19:14:23.64 0
>>214
「証明」というのは、ある命題（「正しい」か「正しくない」かどちらかになる文のこと）が正しいってコトを説明する時に、
「正しい」とするモノと、使って良い論理だけを使って説明するコト。
「正しい」とするモノには、モノの意味を述べた「定義」と、単純で正しいとされる内容の「公理」と、既に正しいと
証明された命題の「定理」がある。
＊＊＊
要するに、正しいモノだけを正しく使えば、説明できる内容は絶対正しくなるだろうってコト。これが証明。
12/08/19 19:14:23.64 0
>>214
「証明」というのは、ある命題（「正しい」か「正しくない」かどちらかになる文のこと）が正しいってコトを説明する時に、
「正しい」とするモノと、使って良い論理だけを使って説明するコト。
「正しい」とするモノには、モノの意味を述べた「定義」と、単純で正しいとされる内容の「公理」と、既に正しいと
証明された命題の「定理」がある。
＊＊＊
要するに、正しいモノだけを正しく使えば、説明できる内容は絶対正しくなるだろうってコト。これが証明。