move consistency proofs into separate theory
prove consistency of non-axiomatic extensions of the initial context

syntactic consistency in the sense of having an unproveable sequent (of
course semantic consistency in the sense of having a model is how we
prove this, so that is also true)