ツェルメロ集合論
ウィキペディア フリーな encyclopedia
ツェルメロ集合論(ツェルメロしゅうごうろん、英: Zermelo set theory、時々 Z- と表記される)とは、1908年にエルンスト・ツェルメロの影響力のある論文から始まった、現代のツェルメロ=フレンケル集合論(ZF)やその拡張であるフォン・ノイマン=ベルナイス=ゲーデル集合論(NBG)などの始祖である。ツェルメロ集合論は、その後継の集合論とは特定の違いがあるものの、必ずしも理解されているわけではなく、頻繁に誤って引用されている。この記事では原文の公理について、(日本語に訳した)原文のテキストと原文の番号付けで説明を始める。