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