inquiry consistency mathematical theories reflective critique theory review becomes object mathematical study led hilbert call study ''metamathematics'' ''proof theory'' ref name kleene ref middle century new mathematical theory created samuel eilenberg saunders mac lane known category theory became new contender natural language mathematical thinking th nbsp century progressed however philosophical opinions diverged well founded questions foundations raised century 's beginning hilary putnam summed
Humanities Philosophy Applied philosophy Philosophy of mathematics