>>11621529There are 3 types of statements:
The definition of a proof is a sequence of statements, all of which are known to be true, either because they are assumed, or because they are implied by previous statements in the sequence. The caveat is that, if statement X is an implied statement, then Craig Interpolation between the statement that is the conjunction of all statements before X, and X, cannot produce a statement with more than 1 variable distinct from the variables in either statement.
>>11621611Wrong. I just gave a strict definition.
