3 ms·
They are, since they are proven in a formal system, but the theorems are not unprovable statements. The theorem doesnt claim that all theorems are incomplete, b
by cblconfederate 5y ago
They are, since they are proven in a formal system, but the theorems are not unprovable statements. The theorem doesnt claim that all theorems are incomplete, but that some of them are unprovable
- birriel 5y agoThanks for your reply! The problem I have is that the probative value of _anything_ seems to me to be based on the Axiom of axioms, which is Logic itself. I just don't understand how the provability, formality, or completeness of _anything_ may be achieved without having an unassailable tool that determines those things. We might say that Logic is that tool, but how does it sustain itself?