prove infinity axiom is a syntactically valid extension
start on showing that infinity ax is consistent
WIP: attempting to extend the extends_consistent theorem

want to know that the new interpretation is compatible with the old one
on old terms... motivated by attempting to prove things about infinity
ax, but maybe going about that the wrong way anyway...