the logical study of the nature and validity of mathematical reasoning and proof; the philosophy of higher mathematics; meta-mathematics.