The statement "truths are reliable information" is true because truths make good axioms for a non-contradictory thesis