La sous-discipline des mathématiques qui examine les fondements philosophiques et les implications des mathématiques. Elle étudie la méthodologie des mathématiques et la manière dont les personnes les utilisent dans leur vie quotidienne.