Formalization Systems I: Number — A Non-Modal Fixation | Synapse