数学的に真理である