[대학교이상] 1+1이 2임을 증명하는 과정이 왜 있는거임?

[익명(222.117)]

수학이라는거 자체가 사람이 만들어낸 개념이고

수의 단위, 사칙연산은

그냥 그렇게 만들었으니 그런거아님?

[갱생실패리카(lillollool)]

제대로 구현했는지를 검증하는거임. 그 사실을 검증하는게아니라.

[나이제정주행(175.116)]

없는데?

[익명(45.87)]

있어. 뻬아노 공리계라고. - dc App

[나이제정주행(175.116)]

없어 ㅋㅋㅋ 피노 엑시엄은 그거 증명하는거 아니야 귀요미야

[익명(220.71)]

맞긴해 1+1=2를 더 기본적인 정리들로 쪼개는 과정임

[익명(121dot88)]

그냥 그렇게 만들었음 << 이런거 수학자들이 싫어해서 증명하는거임

[익명(episode5899)]

1+1=2 의 증명을 묻는건 잘못된 질문임 제대로 된 질문은 1이 뭐고 +가 뭐고 =이 뭐고 2가 뭐냐는 질문이지 이걸 답한 이후에야 1+1=2는 니말대로 "그냥 그렇게 만든것"이라고 할수있음 - dc App