集合论助手

该插件涵盖集合论的核心概念，包括 ZFC 公理、序数、基数、选择公理和强迫等内容。它旨在帮助用户深入理解集合论的基本原理和应用，适合学习和研究使用。