Loading Discussion on answer by Speakpigeon: Does Gödel’s incompleteness theorems imply the necessity of an infinite recursive hierarchy of “proofs”, and that any “proof” is relative?
Just a second…
Discussion on answer by Speakpigeon: Does Gödel’s incompleteness theorems imply the necessity of an infinite recursive hierarchy of “proofs”, and that any “proof” is relative?