Teoria pierwszego rzędu

Ten artykuł od 2022-04 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła, najlepiej w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Teoria pierwszego rzędu (lub system dedukcyjny) – zbiór formuł zdaniowych T danego języka pierwszego rzędu, spełniający następujący warunek:

Cn_L(T) ⊆ T

gdzie Cn_L(T) to zbiór wszystkich konsekwencji logicznych zbioru formuł zdaniowych T.