もりけん "数学ガール（ゲーデルの不完全..." 2026年3月20日