Remove Create Axiom Button

The Create Axiom Button shall be removed. It has undesirable side effects.