Tag: interpolation theorem

Interpolation Theorem

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

Bossmind