13/10/17 05:53:35.77
まあメタ数学でどの程度集合の言葉を使ってもよいかは
人によって考えが違うけど、公理系の無矛盾性を定義するのに
無限集合の存在は必須ではないし、
「論理式」というのも範囲が充分明確に定まっていると考える人が殆どだと思う
例えば、ある性質 P が
(1)原子論理式に対して成り立つ
(2)長さ n の論理式で成り立てば長さ n + 1 の論理式に対しても成り立つ
を満たせば当然全ての論理式に対して成り立つし、誰もがそれを認めるわけだが、
こういう一見明らかな性質だって、よくよく考えると
公理等のルールで認めているわけではなく、かといって証明があるでもない。