これってもしかしてゲーデルの不完全性定理からその存在が予言されていた矛盾なのでは？