semi "ゲーデルの哲学　不完全性定理..." 2025年12月17日