数学的証明 - 数学的な命題や定理の真実を証明するために用いる論理的議論。