17/11/01 00:52:31.24 VCwpMl0X.net
>>928
メタレベルを経由したかもしれないけど、出来上がった証明の正しさは（個別に）形式的にチェックできるのであろう。
しかしそのことの一般化はあきらめよう。
17/11/01 00:52:31.24 VCwpMl0X.net
>>928
メタレベルを経由したかもしれないけど、出来上がった証明の正しさは（個別に）形式的にチェックできるのであろう。
しかしそのことの一般化はあきらめよう。
17/11/01 00:52:31.24 VCwpMl0X.net
>>928
メタレベルを経由したかもしれないけど、出来上がった証明の正しさは（個別に）形式的にチェックできるのであろう。
しかしそのことの一般化はあきらめよう。