一键安装此插件：
42plugin install rand/cc-polymath/math
提供集合论基础知识的学习工具。 集合论，包括 ZFC 公理、序数、基数、选择公理和强迫
从属套包
rand/kit/cc-polymath
