>>580
ゲーデルの不完全性定理とかもそんな感じやな