(1) Axiomas lógicos
(2) Axiomas sustantivos
(3) Negación
(4) Sellado
(5) Teorema de integridad semántica
(6) Teorema de integridad semántica fuerte
(7) Función holomorfa
p>(8) Habilitar conteo
(9) Categoría
(10) Sistema de forma aritmética
(11) Expresión transitiva
(12) Se puede consumir a través de dependencias
(13) Limitar el consumo
(14) Teorema de la Iglesia
(15) Grupo de funciones recursivas
(16) Función original
(17) Reorganización
(18) Expresión fuerte
(19) No toma de decisiones