「基礎付け」ってからには自然数をそれこそ0から定義・構成していくんだろうと思いきや、
帰納的定義やら（十分素朴とは言えない）集合概念がはじめから導入されてたり
しまいには弱ケーニッヒやらまで登場したりとびっくり仰天してしまいました。
そこに疑問を呈すると、メタの世界がどうしたこうしたでますます理解が追いつかない。
ほんとに確実に「成り立つ！」って実感をもって進みたいだけなのに。