ちょっと数学かじった奴は数理的手法でこの世の全ての問題が解決すると思い込みがちだが、実際は数学のできることなんてごく限られてるしな
所詮は述語論理で表せるものしか証明できないんだし