Which phrase best describes a theorem in an axiomatic system

Answer :