カントール・バーンスタイン・シュレーダーの短い証拠:

一般的に使用されるグレゴリオ暦の任意の年が与えられた場合、 • 2月の最終日、 • 4月4日(4/4)、 •6月6日(6/6)、 • 8 月 8 日 (8/8)、 • 10月10日(10/10)、 • 12月12日(12/12) すべて同じ曜日に発生します。2025年の場合、このいわゆる終末は金曜日です。

集合Xは、Xが無限であり、X = Y⊔Zの場合、YまたはZのいずれかが有限である場合、アモルファスと呼ばれます。 定理。ZFには、アモルファスセットがあるモデルがあります。