본문으로 이동
주 메뉴
주 메뉴
사이드바로 이동
숨기기
둘러보기
대문
사용자 모임
요즘 화제
최근 바뀜
임의의 문서로
도움말
sitesupport
Gil Navigation
새소식
학교
캠프
Math
번역
취지문
Gil Project
게시판
일반게시판
Math_Board
모심이 게시판
DoMath
검색
검색
로그인
개인 도구
로그인
Math CEO 16: 두 판 사이의 차이
문서
토론
한국어
읽기
원본 보기
역사 보기
도구
도구
사이드바로 이동
숨기기
동작
읽기
원본 보기
역사 보기
일반
여기를 가리키는 문서
가리키는 글의 최근 바뀜
특수 문서 목록
인쇄용 판
고유 링크
문서 정보
도움말
DoMath
2008년 9월 3일 (수) 13:17 기준 최신판
(
원본 보기
)
Parha
(
토론
|
기여
)
편집 요약 없음
(차이 없음)
2008년 9월 3일 (수) 13:17 기준 최신판
공리적 체계 : 독립성, 무모순, 완전성 : 연속체 가설,
괴델의 불완전성 정리
, tarski (turing) 결정불가능성 정리..
Math_CEO
로
내용 폭 제한 전환
Math_CEO 로
Math_CEO 로