El sistema básico es generalmente llamado GL (por Gödel-Löb) o L o K4W.