数学の証明は完全だけど、他の科学の証明は「たぶんそれでいいだろう」程度