14/03/15 11:02:31.97
>>608
ナマの事実（有限の記号操作）
前提・仮定（公理や推論規則）
証明されたこと（定理）
結局これだけしかなくて、真理や真実を探し求めてるわけじゃないってこと。
14/03/15 11:02:31.97
>>608
ナマの事実（有限の記号操作）
前提・仮定（公理や推論規則）
証明されたこと（定理）
結局これだけしかなくて、真理や真実を探し求めてるわけじゃないってこと。
14/03/15 11:02:31.97
>>608
ナマの事実（有限の記号操作）
前提・仮定（公理や推論規則）
証明されたこと（定理）
結局これだけしかなくて、真理や真実を探し求めてるわけじゃないってこと。