ZFC
前提
論理学（
#一階述語論理
）
「集合」の存在
述語「∈」
#命題論理
零階述語論理