Node recursively creates a tree to represent an axiom.