Ein formales System ist funktional vollständig, wenn jede wohlgeformte Formel des Systems bewiesen oder widerlegt werden kann, d. h. wenn entweder die Formel oder ihre Negation bewiesen werden kann. Im entgegengesetzten Fall ist das System funktional unvollständig.