Zbiór formuł zupełny z uwagi na język
Z Wikipedii
Zbiór formuł zdaniowych X języka pierwszego rzędu J jest zupełny z uwagi na język J wtw dla każdego zdania A języka J: zdanie A jest elementem zbioru CnL(X) lub negacja zdania A, ¬A, jest elementem zbioru CnL(X).