Posts

• 2021-03-05 어떻게 집합론을 공부할 것인가
• 2020-11-21 A useful lemma for multivalued functions over $\mathsf{CZF}$
• 2020-08-15 Infinite decreasing $\in$-chains and the axiom of coutable choice
• 2020-06-10 연속체 가설을 중심으로 한 집합론의 역사
• 2020-03-11 Axiom of Regularity ― an introduction
• 2019-12-19 치환공리