現代数学が案外脆弱な基盤の上に成り立っている証拠