1더하기 1은 2 증명하기(1+1=2 증명)
수학에서 말하는 증명이란? 어떠한 명제가 참임을 밝히는 과정을 말한다.(여기에서 말하는 명제는 참, 거짓을 판별할 수 있는 문장이나 식이다.) 1더하기1의 구성요소 4가지 1, +, =, 2 네가지 구성요소를 살펴보면, 자연수, 등호, 덧셈연산에 대해 알아보면 된다. 페아노 공리계 "주세페 페아노"라는 수학자는 자연수를 한 문장으로 정의하기 어렵기에 페아노 공리계(Peano axioms)를 제시하였다. 페아노 공리계에서는 자연수, 등호, 덧셈연산이 만족해야 하는 성질들을 규정하고 있다. 공리(Axiom)란? 수학에서 기초가 되는 명제로 이론 내에서 증명할 필요가 없이 참으로 받아들이는 명제나 원리를 말한다. 페아노의 논문에서는 총 9가지의 공리를 제시하는데, 은 1을 정의, 는 등호관계, 는 자연수의 성..
2022. 10. 25.