Jean-Michel Vappereau — Παράδεισος bijections Αναφέρεται ως δευτερεύον προσάρτημα για Vappereau'μικρό 4≠ 3. Διευκρινίζει και καθορίζει τις λειτουργίες και τις εφαρμογές bijective χρησιμοποιώντας τους λογικούς ποσοτικοποιητές του Hilbert. Le-paradis-des-bijections [Προστέθηκε: 2025/08/23]