| [ KAIST ] in KIDS 글 쓴 이(By): Xorn (Salud_) 날 짜 (Date): 2002년 11월 26일 화요일 오전 11시 23분 45초 제 목(Title): Re: 일더하기 일은 이의 증명 집합론 한달 들으셔야 하는데요.. -_-;; 데카르트의 정신으로 돌아가서 부인하기 힘든것, 이것까지 없으면 더이상 말할 수 없는 것 정도만 공리로 채택하고..(공집합이 존재한다, 무한집합이 존재한다 정도죠..) 집합끼리 같다는거 정의하고.. 공집합이랑 같은(아이소모픽한- 전단사 함수가 존재하는)집합을 통칭해 0이라하고.. 이 집합의 멱집합(맞죠? 이게 집합이라는 건 공리)이랑 같은 집합을 통칭해 1이라 하고.. 덧셈은 합집합으로 정의하고.. 어쩌구저쩌구 하면 1+1=2 이 됩니다. 집합론 중간고사 1번 문제가 집합론의 공리를 이용해 공집합에서 부터 자연수/ 정수/유리수/실수/복소수까지 다 만들라는 거였죠. 물론 오더에 연산까지 전부다 -_-;; 그 시간에 그걸 다 쓸 수 있는 사람이 있었나 모르겠네요. :) |