証明とは 「AならばB」という条件文は数学でよく使われる。 様々な言い換えはあるものの、数学は公理や定義から始めて、この条件を繋げていき様々な性質・定理を獲得していく。 ほぼ自明に出てくる事実だけであれば問題もないのだが、自明でない事実が登場す…