I easily understand these propositions and what they entail, but I am not exactly sure how one can state these propositions in modern mathematical terminology and notation. Any help would be appreciated.