대문
임의의 문서로
근처
로그인
설정
기부
위키백과 소개
면책 조항
검색
분류
:
모형 이론
언어
주시
편집
이 분류에 대해서는
모형 이론
문서를 참고하십시오.
하위 분류
다음은 이 분류에 속하는 하위 분류 2개 가운데 2개입니다.
ㄱ
강제법
(4 P)
ㅂ
보편대수학
(1 C, 4 P)
"모형 이론" 분류에 속하는 문서
다음은 이 분류에 속하는 문서 18개 가운데 18개입니다.
모형 이론
ㄱ
건전성
결정가능성
괴델의 불완전성 정리
괴델의 완전성 정리
구조 (논리학)
기본 동치
ㄹ
뢰벤하임-스콜렘 정리
ㅅ
스콜렘 표준형
실폐체
ㅇ
완전성
이름 (강제법)
ㅈ
절대 논리식
정의 가능 집합
준동형
ㅊ
초곱
추이적 모형
ㅋ
콤팩트성 정리