不完全性を繋ぐXの証明 エンディング