数学的厳密性は後付けかな?