Zbiór wszystkich konsekwencji logicznych zbioru formuł zdaniowych

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

$A\in C{n}_L(X)$ wtedy i tylko wtedy, gdy $A\in Cn(X\cup Arp)$

gdzie Arp to zbiór wszystkich aksjomatów KRP (klasycznego rachunku predykatów, inna nazwa: rachunku predykatów pierwszego rzędu), a Cn(X) to zbiór wszystkich konsekwencji zbioru formuł zdaniowych X.