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

Publicado en línea: 29 ago 2022

Páginas: 41 - 49

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

Palabras clave

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.