#mathematical abstraction #logical abstraction #symbolic logic #formal systems #theoretical math #symbolic representation