>>157
数学の場合は全部元をたどれば公理に行き着くから常に成立するよ