Oppført som et sekundært vedlegg til Vappereau's 4≠3. Klargjør og definerer bijektive funksjoner og applikasjoner ved å bruke Hilberts logiske kvantifiserere.
[Lagt til: 2025/08/23]
Oppført som et sekundært vedlegg til Vappereau's 4≠3. Klargjør og definerer bijektive funksjoner og applikasjoner ved å bruke Hilberts logiske kvantifiserere.
[Lagt til: 2025/08/23]