• A theorem is a proposition which is a strict logical consequence of certain definitions and other propositions.

    Anatol Rapoport: A theorem is a proposition which is a strict logical consequence of certain definitions and other propositions.
    "Various meanings of 'theory'". American Political Science Review, 52.04, 1958.