数学は確実さ、明白さに仕えるしもべである。