<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><span style="font-family:arial,sans-serif">On Sat, Dec 17, 2016  William Flynn Wallace </span><span dir="ltr" style="font-family:arial,sans-serif"><<a href="mailto:foozler83@gmail.com" target="_blank">foozler83@gmail.com</a>></span><span style="font-family:arial,sans-serif"> wrote:</span><br></div><div class="gmail_extra"><div class="gmail_quote"><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span style="font-family:arial,helvetica,sans-serif;font-size:large"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline">​> ​</div>no truth exists in the larger sense. </span></blockquote><div><br></div><font size="4">I wouldn't go that far. I think the continuum hypothesis<div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline">​ </div>is either true or it isn't, but whether we will ever know which is a entirely different question. In 1940 Godel showed that using the simple innocuous and self evidently true axioms of set theory you can never prove that a set exists that is larger than the set of integers but smaller than the set of Real Numbers. And in 1963 Paul Cohen<div class="gmail_default" style="font-family:arial,helvetica,sans-serif;display:inline">​ </div>showed those very same axioms can never prove that such a set does not exist. So we can't prove it exists and we can't prove it doesn't. So we're sorta stuck. And we can't just add it, or its negation, as an additional axiom because neither it nor its <br>negation is simple or self evidently true, and adding an axiom that may be false would be about as far from innocuous as you can get.</font><div><div class="gmail_default" style="display:inline"><font face="arial, helvetica, sans-serif" size="4"><br></font></div></div><div><div class="gmail_default" style="display:inline"><font face="arial, helvetica, sans-serif" size="4"> John K Clark  </font></div></div><div class="gmail_quote"><span style="font-family:arial,helvetica,sans-serif;font-size:large"><br></span></div><div class="gmail_quote"><span style="font-size:12.8px"> </span></div><br></div></div>