Zbiór wszystkich konsekwencji logicznych zbioru formuł zdaniowych

Zbiór wszystkich konsekwencji logicznych zbioru formuł zdaniowych X (oznaczany Cn(X)) definiujemy jako:

$A \in Cn_L(X)$ wtedy i tylko wtedy, gdy $A \in Cn(X \cup Arp)$

gdzie Arp to zbiór wszystkich aksjomatów KRP, a Cn(X) to zbiór wszystkich konsekwencji zbioru formuł zdaniowych X.