Math CEO 16

DoMath
Parha (토론 | 기여)님의 2008년 9월 3일 (수) 13:17 판
(차이) ← 이전 판 | 최신판 (차이) | 다음 판 → (차이)
  • 공리적 체계 : 독립성, 무모순, 완전성 : 연속체 가설,
  • 괴델의 불완전성 정리 , tarski (turing) 결정불가능성 정리..
Math_CEO 로
원본 주소 "https://domath.kr/w/index.php?title=Math_CEO_16&oldid=10947"