P
Initializing...
Theorem 3.5: a set and its complement cannot both be deductive · Prove2Me