Tag: non-logical symbols

Interpolation Theorem

A theorem stating that if A implies B is provable, a formula…

Bossmind