集合の用語／訳語

• The comprehension principle 「包括原理」
• The axiom of comprehension (CA) 「包括の公理」かな
• specification とか separation とも呼ばれる。
• The axiom of separation は「分出公理」。
• The axiom of specification 訳？
• restricted, relative, bounded あたりは同じ意味だろう。
• The axiom of replacement 「置換公理」だ
• The axiom of collection 置換公理と同じようだが、訳語はわからん