Generally, the theory, consisting of standard second-order theory and Hume’s Principle, is called Frege Arithmetic. However, Frege Theorem doesn’t amount to the establishment of Frege’s Logicism, because neither Hume’s Principle is considered as analytical truth, nor is second-order logic as logic in strict sense. Most challenges to second-order logic are related with its comprehension axiom, w...