Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Pulgarín, J. Julian"'
The construction of first-order logic and set theory gives rise to apparent circularities of mutual dependence, making it unclear which can act as a self-contained starting point in the foundation of mathematics. In this paper, we carry out a metathe
Externí odkaz:
http://arxiv.org/abs/2311.11032
