This thinker formalized a statement of equinumerosity that George Boolos later identified as Hume’s principle. (10[1])This thinker wrote two essays criticizing David Hilbert’s lecture on geometry for relying on the demonstration of consistency. This thinker introduced the turnstile symbol to logic in a book that criticizes Kant’s claim that 2 + 3 = 5 was unprovable. (-5[1])Michael Dummett attributes the beginning of the linguistic turn to this thinker’s (-5[1])use of the context principle (10[1])while discussing the origin of numbers. This thinker’s Basic Law V (“five”) was shown to be flawed when considering sets through Russell’s paradox. A puzzle at the start of a paper by this thinker notes “Hesperus is Hesperus. (10[1])Hesperus is Phosphorus.” For 10 points, name this German philosopher (-5[1])who wrote The Foundations of Arithmetic (10[1])and On Sense and Reference. ■END■ (10[3]0[7])