17/10/22 22:46:05.79 sMM5+fid.net
>>480
記号の羅列を表現するのにメタの意味での自然数は使われるんですよ？
証明図に関するメタ証明も、数学的帰納法が用いられますし
17/10/22 22:46:05.79 sMM5+fid.net
>>480
記号の羅列を表現するのにメタの意味での自然数は使われるんですよ？
証明図に関するメタ証明も、数学的帰納法が用いられますし
17/10/22 22:46:05.79 sMM5+fid.net
>>480
記号の羅列を表現するのにメタの意味での自然数は使われるんですよ？
証明図に関するメタ証明も、数学的帰納法が用いられますし