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 치환공리