数理論理学や数学基礎論、及びその部分分野や応用などに関するアドベントカレンダーです。数理論理学の記事であれば、どのようなものでも受け付けています！