language of logic that maps relations between quantities, patterns, and structures, distilling essence from existence through symbolic representation and reasoning.
