Higher-Order Skolem’s Paradoxes and the Practice of Mathematics: a Note

Published Online: Aug 29, 2022

Page range: 41 - 49

DOI: https://doi.org/10.2478/disp-2022-0003

Keywords

First-order logic, Löwenheim number, mathematical practice, second-order logic, Skolem’s paradox

© 2022 Davood Hosseini et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.