The paper argues that strongly self-referential propositions contradict ZF's axiom of foundation, making the informal meta-model of arithmetic inconsistent.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2019 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
A Note on the Possibility of Self-Reference in Mathematics
The paper argues that strongly self-referential propositions contradict ZF's axiom of foundation, making the informal meta-model of arithmetic inconsistent.