ゲーデルの定理って数学の外に同じような数学があったら成り立つ定理じゃないの