可数选择公理悖论
逻辑
2025-01-22 v3
摘要
毕晓普的构造性数学学派拒绝排中律，但大量使用较弱版本的选择公理。本文开创性地给出了一个例子，表明这条道路是不一致的，因为我们的例子产生了一个悖论。因此，拒绝排中律，并改用可数选择公理和依赖选择公理，仍然不能建立一个一致的结构。实际上，在构造性意义上，可数选择公理是依赖选择公理的推论。
引用
@article{arxiv.2412.08667,
title = {Paradox on the Countable Axiom of Choice},
author = {Babak Jabbar Nezhad},
journal= {arXiv preprint arXiv:2412.08667},
year = {2025}
}