info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
How can this possibly fail to partition True(x) from Untrue(x) for every formal system?
0 views
Skip to first unread message
peteolcott
May 22, 2019, 3:09:00 PM5/22/19
to
When we specify that True(x) is the consequences of the subset of
the of conventional formal proofs of mathematical logic having true
premises then True(x) is always defined and never undefinable.
--
Copyright 2019 Pete Olcott
All rights reserved
the of conventional formal proofs of mathematical logic having true
premises then True(x) is always defined and never undefinable.
--
Copyright 2019 Pete Olcott
All rights reserved
0 new messages