选择公理

选择公理的发展处在数学、逻辑学和哲学的交汇处。选择公理的提出以及关于它的争论，涉及许多哲学观点的相互碰撞。选择公理为数学提供了强有力的论证方法，利用它可以证明许多重要的结论。选择公理的发展也促进了逻辑学的发展。本书主要对选择公理的产生及发展历史，它在数学和逻辑学中的应用，它的协调性和独立性以及它对数学哲学的影响作了全面系统的论述，分析了强无穷公理和选择公理的关系。此外，本书还介绍了若干与选择公理矛盾的命题。