Теоремами числення предикатів є ті й тільки ті формули, які є загальнозначущими

У будь-якій достатньо багатій теорії першого порядку, існує деяка формула A, що  А та А одночасно виводяться в цій теорії

 У будь-якій достатньо багатій теорії першого порядку, існує деяка формула A, що ні А, ні А не виводяться в цій теорії

У будь-якій достатньо багатій теорії першого порядку, існує така істинна формула A, що ні А, ні А не виводяться в цій теорії