 |
Ten artykuł od 2022-04 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła 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. Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary) Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu. |
Zbiór formuł zdaniowych X języka pierwszego rzędu J jest zupełny z uwagi na język J wtedy i tylko wtedy, gdy dla każdego zdania A języka J zdanie A jest elementem zbioru CnL(X) lub negacja zdania A, oznaczana ¬A, jest elementem zbioru CnL(X).
