 Lemmon (1957) also follows Gödel in axiomatizing modal systems on a propositional calculus base, and presents an alternative axiomatization of the Lewis systems. Where PC is the propositional calculus base, PC may be characterized as the following three rules (1957: 177):