Key points are not available for this paper at this time.
PART I: ORIENTATION Terms and questions Foundationalism and foundations of mathematics PART II: LOGIC AND MATHEMATICS Theory Metatheory Second-order logic and mathematics Advanced metatheory PART III: HISTORY AND PHILOSOPHY The historical triumph of first-order languages Second-order logic and rule-following The competition Index.
Sher et al. (Sat,) studied this question.