>>622
そうすると、意地悪いことに個々の定理の検証に誤りを含みうる。
誤りを防ぐための工夫がある種の算術の正しさを前提とする。