Definition. Formal Theory [0003] A theory refers to an axiomatic system and all theorems derived from it.