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

Publié en ligne: 29 août 2022

Pages: 41 - 49

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

Mots clés

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.