Math CEO 16: 두 판 사이의 차이

DoMath

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

2008년 9월 3일 (수) 13:17 기준 최신판

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

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