Listado como un apéndice secundario para Vappereau's 4≠ 3. Aclara y define las funciones y aplicaciones bijetivas utilizando los cuantificadores lógicos de Hilbert.
[Agregado: 2025/08/23]
Listado como un apéndice secundario para Vappereau's 4≠ 3. Aclara y define las funciones y aplicaciones bijetivas utilizando los cuantificadores lógicos de Hilbert.
[Agregado: 2025/08/23]