Rachunek predykatów pierwszego rzędu: Różnice pomiędzy wersjami

===Aksjomaty logiczne===

Formuły następujących typów będą nazywane '''aksjomatami czystymi''':

* formuły postaci <math> (\forall x)(\varphi\Rightarrow\psi)\ \Rightarrow\ ((\forall x)(\varphi)\Rightarrow(\forall x)(\psi))</math> (gdzie <math>\varphi,\psi</math> to formuły),

* formuły postaci <math>(\forall x_i)(\varphi)\ \Rightarrow\ \varphi(x_i/t)</math>, gdzie term <math>t</math> może być podstawiony za zmienną <math>x_i</math> w <math>\varphi</math>,