On 8/16/2014 12:27 PM, Bruno Marchal wrote:
But not everything exist. Only K, S, (K K), (K S) (S K) (S S) ((K K) K), etc.
etc. = .... And you also assume that a UD exists.
Or if you prefer, only 0, s(0), s(s(0)), etc.
Plus their respective laws.
That's your hypothesis. Why not start with ZFC, which most mathematicians consider the
foundation of mathematics? I hope the answer is that one of them, or some other
hypothesis, will provide testable predictions that are confirmed. But otherwise they are
just hypotheses.
Brent
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
