틀:수리논리학 - 위키백과, 우리 모두의 백과사전

일반

전통적	고전 논리 논리적 참 항진식 명제 추론 동치 무모순적 이론 동등 무모순성 논증 건전성 타당성 삼단논법 대당 사각형 벤 다이어그램
명제 논리	불 논리 불 함수 논리 연산 명제 논리 명제 형식 진리표 다치 논리 3치 유한치 무한치
술어 논리	1차 논리 목록 2차 논리 단항 고차 논리 고정점 논리 자유 논리 한정 기호 술어 단항 술어 계산

집합 계승적 모임 (원자)원소 순서수 외연성 강제법 관계 동치 관계 집합의 분할 집합 연산: 교집합 합집합 여집합 곱집합 멱집합 항등식
집합의 종류	가산 집합 비가산 집합 공집합 거주 집합 한원소 집합 유한 집합 무한 집합 추이적 집합 초필터 재귀 집합 퍼지 집합 전체집합 전체모임 구성 가능 그로텐디크 폰 노이만
함수 및 집합의 크기	함수/사상 정의역 공역 상 단사 함수/전사 함수/전단사 함수 칸토어-베른슈타인 정리 동형 사상 괴델 수 매기기 열거 큰 기수 도달 불가능 알레프 수 연산 이항 연산
집합론	체르멜로-프렝켈 집합론 선택 공리 연속체 가설 일반 집합론 크립키-플레이텍 집합론 모스-켈리 집합론 소박한 집합론 새 기초 타르스키-그로텐디크 집합론 폰 노이만-베르나이스-괴델 집합론 아커만 집합론 구성적 집합론