怎麼說我火星邏輯，好歹邏輯集合我也練了很久，尤其是 ZFC.

邏輯集合不懂可以問我，不過我應該會懶得回答。