El sistema K (llamado así en honor a Saul Kripke) es el que menos axiomas utiliza: aparte de los axiomas de la lógica proposicional, el sistema K se sirve sólo del axioma K (no confundir el axioma con el sistema).