• Class_2018_1
       [[집합론,set_theory]]
• 공집합,empty_set
        -> 아님. 공집합은 [[집합론,set_theory]], null set은 [[측도,measure]] [[측도론,measure_theory]]쪽 개념. [[공집합,empty_set]]은 항상 null_set 이지만 그 [[역,converse]]은 not true.
• 근원사건,elementary_event
       [[집합론,set_theory]] 용어를 쓰면, 근원사건은 [[한원소집합,singleton_set]]에 해당.
• 논리,logic
       Related: 영차집합론? zeroth-order_set_theory - https://ncatlab.org/nlab/show/zeroth-order+set+theory - [[집합론,set_theory]]
• 람다대수,lambda_calculus
       [[수학기초론]]{ WpKo:수학기초론 }에서 [[집합론,set_theory]]의 대안 후보들은 [[Alonzo_Church]]{ '''Alonzo Church''' https://en.wikipedia.org/wiki/Alonzo_Church }의 '''typed lambda-calculus''', Per_Martin-Loef ? { '''Per Martin-Löf''' https://en.wikipedia.org/wiki/Per_Martin-Löf } 의 [[intuitionistic_type_theory]]{ intuitionistic type theory [[WpEn:Intuitionistic_type_theory]] = https://en.wikipedia.org/wiki/Intuitionistic_type_theory WpJa:直観主義型理論 https://plato.stanford.edu/entries/type-theory-intuitionistic/ }가 있다. ([[WpEn:Type_theory]] 처음 부분)
       https://www.pls-lab.org/en/Untyped_lambda_calculus_and_set_theory // [[집합론,set_theory]]
• 멱등성,idempotence
       [[집합론,set_theory]]에서는 다음 둘? / set_intersection set_union 연산에 대한.
• 분할,partition
       (wikiadmin) not linked; mkl: [[집합론,set_theory]] [[조합론,combinatorics]]
• 사건,event
       See also [[확률변수,random_variable]], [[확률,probability]], [[집합론,set_theory]]
• 서수,ordinal_number
       [[집합론,set_theory]]
• 수리논리,mathematical_logic
       [[집합론,set_theory]]
• 연산,operation
       [[집합론,set_theory]]
• 영공간,null_space
       여기는 [[집합론,set_theory]]와 추상대수학 [[abstract_algebra]]의 kernel 얘기. 첫문장: "In general, a kernel is a measure of the failure of a homomorphism to be injective." // [[준동형사상,homomorphism]] [[단사,injection]]
• 위상,topology
        * 일반위상수학 : [[집합론,set_theory]]과 [[논리,logic|논리학]]에 근거. 열린집합 닫힌집합 연결 덮개(cover) 연속성([[연속성,continuity]]) 위상동형 콤팩트성(compactness) 연결성 등 언급.
• 이산수학,discrete_math
       [[집합론,set_theory]]
• 자연수의_분할,integer_partition
        [[집합론,set_theory]]
• 전산학,compsci
       [[집합론,set_theory]]
• 절대값,absolute_value
       (주의: 순서론order_theory의 주제 [[순서,order]]와는 다름. 오히려 [[집합론,set_theory]]의 cardinality에 더 가까운?)
• 집합,set
        분야는 아마 [[집합론,set_theory]] [[조합론,combinatorics]] ?
       [[집합론,set_theory]]
• 집합과_확률,set_and_probability
       [[집합,set]], [[집합론,set_theory]]
       ||[[확률,probability]] theory ||[[집합,set]] theory, [[집합론,set_theory]] ||
• 집합론,set_theory
        Up: [[집합론,set_theory]] [[프로그래밍패러다임,programming_paradigm]]
       Up: [[명제논리,propositional_logic]], [[집합론,set_theory]] [[법칙,law]]
• 집합의_분할,set_partition
        [[집합론,set_theory]]
• 튜플,tuple
       정의에 다음도 참조. [[집합,set]]을 사용한 [[집합론,set_theory]]적, [[재귀,recursion]]적 정의. https://chocobear.tistory.com/13
• 표기법,notation
       // [[집합론,set_theory]]
• 함수,function
       [[집합,set]] and [[집합론,set_theory]]
• 흡수법칙,absorption_law
       [[집합론,set_theory]]

You can also click here to search title.