fix variables printing
create Axioms.txt and add 10 first axioms