Abstract

Some analogous higher-order versions of Skolem’s paradox will be introduced. The generalizability of two solutions for Skolem’s paradox will be assessed: the course-book approach and Bays’ one. Bays’ solution to Skolem’s paradox, unlike the course-book solution, can be generalized to solve the higher-order paradoxes without any implication about the possibility or order of a language in which mathematical practice is to be formalized.