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. Michael Dummett attributes the beginning of the linguistic turn to this thinker’s use of the context principle while discussing the origin of numbers. This thinker’s Basic Law V (10[1])(“five”) was shown to be flawed when considering sets through Russell’s paradox. (-5[1])A puzzle at the start of a paper by this thinker notes “Hesperus is Hesperus. Hesperus is Phosphorus.” For 10 points, name this German (10[1])philosopher who wrote The Foundations of Arithmetic and On Sense and Reference. (-5[1])■END■ (10[1]0[5])