Formal theorem
Jump to navigation
Jump to search
In philosophy and science, formal theorem is complete if for every statement of the language of the system, either the statement or its negation can be derived (i.e., proved) in the system. A formal system is consistentif there is no statement such that the statement itself and its negation are both derivable in the system.