Are these statements true?
	True can’t mean “proved from Peano’s postulates, or set theory – the statements are external to pure mathematics as now defined and practiced. They are statements about modeling – about forming symbolic analogies that interface between, and make sense in terms of, both concrete circumstances and abstract mathematics.
		Are these statements necessary for logical consistency, and consistent with evidence?