Taboo Versus Axiom
Katuzi Ono · Nagoya Mathematical Journal · 1966
Some important formal systems are really developable from a finite number of axioms in the lower classical predicate logic LK or in the intuitionistic predicate logic LJ. Any system of this kind can be developed in LK (or in LJ) from the single conjunction of all the axioms of the system.