述語論理って有限の立場って言えるのかな
∀xP(x)=P(x1)∧P(x2)∧P(x3)∧…
でしょ？もちろんx1x2x3…xnのように有限で済まないから全称記号を使うんだけど
P(x)のxとして考えうるものって原理的にはすべての数学概念だし
実質的にもどんな多くの無限でもあり得るところを
実際書き出すことが出来ないのを``有限の立場''って言って良いものか