A branch of study in which facts are observed and classified, and, usually, quantitative laws are formulated and verified; involves the application of mathematical reasoning and data analysis to natural phenomena.