>>2
じゃあお前は定理使うたびに公理まで遡って検証してろw