A statement that is proved by deductive logic is called a theorem. The correct option among the two options that are given in the question is the first option. Postulate is not based on deductive logic. I hope that this is the answer that you were looking for and the answer has actually come to your great help.