0482132人目の素数さん垢版 | 大砲2020/05/09(土) 01:13:05.86ID:Ayx0IbyQ 別に公理が9個ってのも砕けた言い方としては間違って無いだろ 内包公理は論理式としては無限個でもナイーブには一つの公理として名前を持ってる訳だから ZFCの公理が9種類っていう話と論理式として無限個が必要になるっていうテクニカルな話を混同するのは無意味