What a formal system is committed to is determined by its model-theoretic interpretation, not by whi...