- 709
- 189
I have examined the Self-Reference Engine on the axiom 0=1. There's no mention of the NBG set theory of classes, and a contradiction of 0=1 that should be used in a philosophical model like trivialism, which used to prove 0=1 existence.
en.m.wikipedia.org
And in the context of the extreme
limit in "the strongest large cardinal axiom" existence of such solution would be trivially inconsistent, since by the principle of explosion that describes the contradiction of logic, clearly in the fundamentals of mathematics compared to Russell's paradox.
en.m.wikipedia.org
I think they have overlooked and ambiguous about this.
Trivialism - Wikipedia
And in the context of the extreme
limit in "the strongest large cardinal axiom" existence of such solution would be trivially inconsistent, since by the principle of explosion that describes the contradiction of logic, clearly in the fundamentals of mathematics compared to Russell's paradox.
Principle of explosion - Wikipedia
I think they have overlooked and ambiguous about this.
