数理論理学周辺の話題に関するAdvent Calendarです. 数理論理学の話, 証明論, モデル理論, 集合論, 計算理論などの数理論理学周辺の話題であれば何でも大丈夫です！普段から数理論理学の研究やそれを道具に研究をする人, また数理論理学を学び始めたばかりの人, なんでも歓迎しています！