数学がトートロジーなのは当たり前
自然科学じゃないんだから