Math CEO 16

DoMath
  • 공리적 체계 : 독립성, 무모순, 완전성 : 연속체 가설,
  • 괴델의 불완전성 정리 , tarski (turing) 결정불가능성 정리..
Math_CEO 로
원본 주소 "https://domath.kr/w/index.php?title=Math_CEO_16&oldid=10947"