The statement 1:"If parallel lines have a transversal, then corresponding angles are congruent" is theorem, because it has been proved. It is a logical consequence of axioms.
The statement 2:"A line has an infinite number of points extending in opposite directions." is postulate or also referred as axiom, because is taken to be true without proof. Is it a true statement that can not be proven.