Re: True = [ proven | provable ]
From: Torkel Franzen (torkel_at_sm.luth.se)
Date: 01/18/05
- Next message: Aatu Koskensilta: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- Previous message: David McAnally: "Re: True = [ proven | provable ]"
- In reply to: David McAnally: "Re: True = [ proven | provable ]"
- Next in thread: David McAnally: "Re: True = [ proven | provable ]"
- Reply: David McAnally: "Re: True = [ proven | provable ]"
- Messages sorted by: [ date ] [ thread ]
Date: 18 Jan 2005 11:55:43 +0100
D.McAnally@i'm_a_gnu.uq.net.au (David McAnally) writes:
> The proof of this uses the Axiom of Choice.
Only in the general case, not for the countable theories that we use
in formalizing mathematics.
- Next message: Aatu Koskensilta: "Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false?"
- Previous message: David McAnally: "Re: True = [ proven | provable ]"
- In reply to: David McAnally: "Re: True = [ proven | provable ]"
- Next in thread: David McAnally: "Re: True = [ proven | provable ]"
- Reply: David McAnally: "Re: True = [ proven | provable ]"
- Messages sorted by: [ date ] [ thread ]
