>>224
なるほど。公理として認めておくし、有限回の操作の規則か。
>>226 俺が言いたいのは公理を定めるための言葉はどうなってるのってこと。
言語だとか推論規則を記述している言葉って何なのっていう。「任意の」とか
「ならば」とかっていう言葉を使って書かれてるでしょ。公理系を定めようとしてもその
公理系自身を書くための言葉と理解するための論理って何のかなと。
具体的には、推論規則に則って「正しく」式を導出するための論理というか。