Alright Jasper. I'll go with what you have there. It seems like you caught most of what we had discussed.

I would like to pose the following question: What are the implications? Suppose we take a given (consistent) group of axioms. What does that tell us about the world around us? Are any of the things listed mutually exclusive?