A b s t r a c t. We prove that the purely equivalential fragment of intuitionitic logic is not axiomatizable by a finite number of axiom schemata and the modus ponens rule for equivalence as the only rule of inference.

Back to Main Menu