Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2412.08667 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912196286480384 |
|---|---|
| author | Nezhad, Babak Jabbar |
| author_facet | Nezhad, Babak Jabbar |
| contents | Bishop's constructive mathematics school rejects the Law of Excluded Middle, but instead vastly makes use of weaker versions of the Choice. In this paper we pioneer an example, which shows that this road is not consistent, as our example provides a paradox. Therefore, rejecting the Law of Excluded Middle, and as an alternative using the Countable Axiom of Choice and the Axiom of Dependent Choice, still does not create a consistent structure. Actually, constructively; the Countable Axiom of Choice is an implication of the Axiom of Dependent Choice. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_08667 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Paradox on the Countable Axiom of Choice Nezhad, Babak Jabbar Logic 03E25, 03F55, 13P05, 30C15 Bishop's constructive mathematics school rejects the Law of Excluded Middle, but instead vastly makes use of weaker versions of the Choice. In this paper we pioneer an example, which shows that this road is not consistent, as our example provides a paradox. Therefore, rejecting the Law of Excluded Middle, and as an alternative using the Countable Axiom of Choice and the Axiom of Dependent Choice, still does not create a consistent structure. Actually, constructively; the Countable Axiom of Choice is an implication of the Axiom of Dependent Choice. |
| title | Paradox on the Countable Axiom of Choice |
| topic | Logic 03E25, 03F55, 13P05, 30C15 |
| url | https://arxiv.org/abs/2412.08667 |