Por esta misma razón, sin embargo, el sistema K también es el más débil de los sistemas, es decir, el que menos teoremas puede demostrar.