#mathematical formalization #logical formalization #formal system #symbolic representation #rigor #formal proof #axiomatic system