1 problem

0 votes0 replies0 views
Non-equivalence of the negation of Yablo's paradox with first-order theories
Let $\mathcal{Y}$ be the second-order sentence formalizing Yablo's paradox, and let $\neg\mathcal{Y}$ denote its negation. A first-order theory is a set of first-order sentences in…
Conjectureopenmathematical-logic second-order-logic yablos-paradoxarXiv posted 2 days ago

Non-equivalence of the negation of Yablo's paradox with first-order theories