bn:00739998n
Noun Named Entity
Categories: 数学に関する記事, 数学基礎論
JA
ツェルメロ=フレンケル集合論  Zermelo–Fraenkel set theory  ZFC公理系  ZF公理系  ツェルメロ–フレンケルの公理系
JA
集合論において、ツェルメロ=フレンケル集合論 とは、ラッセルのパラドックスなどのパラドックスのない集合論を定式化するために20世紀初頭に提案された公理系である。 Wikipedia
Definitions
Relations
Sources