contestada

Which of the following requires a proof?
1. Theorem
2. postulate
3. undefined terms
4. undefined relations