Listed as a secondary appendix to Vappereau‘s 4≠3. Clarifies and defines bijective functions and applications using Hilbert’s logical quantifiers.
[Added: 2025/08/23]
Listed as a secondary appendix to Vappereau‘s 4≠3. Clarifies and defines bijective functions and applications using Hilbert’s logical quantifiers.
[Added: 2025/08/23]