P
Initializing...
Finitely many possibilities iff finitely many statements iff a finite basis · Prove2Me