Tractatus

5.453

Todos los números de la lógica deben poder ser justificados.