超越数や超実数
不完全性定理など