This document outlines a formal system called metamathematics of contexts. It describes contexts as sets that define the meaningful vocabulary within that context. Formulas are built from propositional atoms using context operators. Models are functions that map context sequences to partial truth assignments. The semantics define satisfaction in a model based on the vocabulary of a context. The system has provability rules and useful theorems. Extensions examine consistency models where contexts cannot assign different truth values, truth models with a single assignment, and flatness models where contexts have identical vocabularies regardless of sequence.