人類史上初めて「証明」という概念を発見した。