理解しとらんから哲学的主張と言うわけで
純粋な数学の定理なんや。
基礎論の専門家しか知らんのはホントやけど