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

Pubblicato online: 29 ago 2022

Pagine: 41 - 49

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

Parole chiave

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.