証明とは、だれもが正しいと認める事実から出発して、新しい事実へと論理をつないでいくこと。この営みが古代ギリシアの時代から数学を支えてきた。その基礎となる論理(演 ...