>>574
>いくつかの公理から論理的に組み上げられた
箱入り無数目記事の記述のうちZFC公理系から論理的に導出できないものはどれ?