On 1/19/2018 7:19 AM, Richard D. Saam wrote:
On 1/10/18 3:15 PM, Jonathan Thornburg [remove -animal to reply] wrote:
..
..
All of the above logic must consider Goedel's incompleteness theorem

First Incompleteness Theorem from Wiki:
"Any consistent formal system F
within which a certain amount of elementary arithmetic
can be carried out is incomplete;
i.e., there are statements of the language of F
which can neither be proved nor disproved in F." (Raatikainen 2015)

or perhaps another statement:

all hypotheses cannot be considered true or untrue
within any axiomatic structure defining the hypotheses.

So, it is impossible to prove or disprove
the complete universe structure
based on any axiomatic structure

Why do you say so? Goedel's incompleteness theorems only
state that *some* statements are not provable. Statements
you refer to here about the universe may not be of that
type!

As a matter of fact, Goedel's own incompleteness theorems
*are* provable. (Using a formal system F of as mentioned,
containing *some* statements are not provable. But
incompleteness theorems still are!)

--
Jos