Math CEO 16

DoMath

Parha (토론 | 기여)님의 2008년 9월 3일 (수) 13:17 판

(차이) ← 이전 판 | 최신판 (차이) | 다음 판 → (차이)

둘러보기로 이동 검색으로 이동

공리적 체계 : 독립성, 무모순, 완전성 : 연속체 가설,
괴델의 불완전성 정리 , tarski (turing) 결정불가능성 정리..

원본 주소 "https://domath.kr/w/index.php?title=Math_CEO_16&oldid=10947"