Anges som en sekundär bilaga till Vappereau’s 4≠3. Förtydligar och definierar bijektiva funktioner och applikationer med hjälp av Hilberts logiska kvantifierare.
[Tillagd: 2025/08/23]
Anges som en sekundär bilaga till Vappereau’s 4≠3. Förtydligar och definierar bijektiva funktioner och applikationer med hjälp av Hilberts logiska kvantifierare.
[Tillagd: 2025/08/23]