■

何となくこっそりとリスト化しておく。大体察しはついてもらえると思うので、敢て何のリストかは言及しないでおく。

• countable set
• separable space
• 高々可算次元のlinear space
• Hausdorff space
• metrizable space
• second countable space
• first countable space
• 俳中律
• axiom of choice
• ZF
• classical logic
• boundedness
• compactness
• completeness
• associativity
• commutativity

取り敢えず列挙してみたが、これ全部満たす論文見たことないわｗｗｗ