Definition. Formal Axiomatic System [001H]