Un sistema de lógica proposicional también puede construirse a partir de un conjunto vacío de axiomas.