Because the predicate to the formalism is similar to “assume the proof”, it could be asserted that the proof proves itself, obviously.
I also think Tarski may have commented on the predictate.
Toward set theory – Part 2 of 3
Because the predicate to the formalism is similar to “assume the proof”, it could be asserted that the proof proves itself, obviously.
I also think Tarski may have commented on the predictate.
Toward set theory – Part 2 of 3
Leave a Reply