ゲーデルの不完全性定理 - Wikipedia
ja.m.wikipedia.org