Any of the statements used in the high school course on mathematics is easily derivable, that's my point. So let's not go into Godel's completeness theorem, since it is not applicable to hs material.you can technically derive any true statement that you use from the basic axioms.