常に正しいと言えるのは厳密な前提を置いて議論する数学だけだよって理学部の人が言ってました