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