Browsing: 不完全性を繋ぐXの証明