Math CEO 16

DoMath

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

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

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