close
open_in_new
Formal system
:
An agreed upon set of symbols and instructions for measuring and validating