基礎論にも不動点定理はある。