Leśniewski elaborò poi la teoria in un sistema assiomatico deduttivo entro cui poter esprimere il calcolo proposizionale e il calcolo delle classi.
it.wikipedia.org Nel metodo ipotetico-deduttivo, un'ipotesi dovrebbe essere falsificabile, ovvero dovrebbe essere possibile dichiararla falsa, solitamente tramite osservazione e conseguente formulazione di un'altra ipotesi logica.
it.wikipedia.org In altre parole, la chiusura deduttiva è l'insieme di tutte le formule che, tramite le regole di inferenza disponibili, sono conseguenza dell'insieme di assiomi considerato.
it.wikipedia.org Ogni sistema deduttivo prende le mosse da un sistema di enunciati, che si possono genericamente definire premesse (greco singolare protasis, latino praemissa).
it.wikipedia.org Il politeismo non necessita della esplicatio tipica del monoteismo, ma una complicatio, vale a dire un procedimento dinamico e aperto, non deduttivo e unilaterale.
it.wikipedia.org