＞無限集合との全単射が存在しない限りそのような記述が成り立つかどうかすら言えないというのが基礎論の問題意識

文字列も項も論理式も導入してねえで、まず無限集合を持って来いだ？　？？？

キチガイもほどほどにしろよ？

ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ