 We call “normal” the systems that include PC, axiom K and the rule of necessitation. System K is the smallest normal system. System T adds axiom T to system K. System B (the Brouwersche system) adds axiom B 