CN: 在數學中,公理化集合论是集合論透過建立一階邏輯的嚴謹重整,以解決樸素集合 ... 分類公理:(Axiom schema of specification / axiom schema of ...
確定! 回上一頁