#mathematical abstraction #symbolic logic #theoretical concept #formal system #logical form #abstraction principle