6.1265

Sempre se pode conceber a lógica de tal modo que cada proposição seja sua própria prova.