数学がトートロジーを繰り返しているだけ