この記事は Mathematical Logic Advent Calendar 2023 - Adventar と Math Advent Calendar 2023 - Adventar の16日目の記事である．より正確にはMathematical Logic Advent Calendar 2023 - Adventarの主催に書くことを強要された記事である． adventar.org ←昨日 Robustly Isomorphic Models | Mathlog →明日 空白 adventar.org ←昨日 エブリシング・エブリウェア・オール・アット・ワンス・関数 - 電波通信 →…
ja.wikipedia.org