>>17
二十世紀初めは数学の基盤を論理学によって固めようという風潮があったんや
不完全性定理はそれがほぼ不可能だということを示したから重要なんや
あと不完全性定理の証明に自己言及パラドクスが使われててそれも人を惹きつけるみたいやな