Jean-Michel Vappereau — Paradiso delle bici Listed as a secondary appendix to Vappereau‘s 4≠3. Clarifies and defines bijective functions and applications using Hilbert’s logical quantifiers. Le-paradis-des-bijections [Aggiunto: 2025/08/23]