finish proof that infinity ax has a model
strengthen the axioms consistency proofs

show that they preserve the interpretation on the old context