Original: For example , one might take all true statements about the natural numbers to be axioms ( and no false statements ) , which gives the theory known as '' true arithmetic '' .
Simplified: All axioms are supposed to be true , even without a proof . A theory then serves to come up with other true statements from the axioms , using certain rules .