The subdiscipline of mathematics that examines the philosophical foundations and implications of mathematics. It studies the methodology of math and how people use it in their daily lives.