Voici une construction complète étape par étape d'un espace de Hilbert à partir de l'arbre des continus, utilisant uniquement les trois primitives (identique/différent/ opposé), les ensembles de cylindres, le comptage, les orbites périodiques et les lectures IPG à ∞. Aucune analyse, aucune limite au sens classique, aucune hypothèse externe. Chaque couche est construite de manière rigoureuse à partir des couches en dessous.
John Taylor crisptoast@tutanota.com (dim,) a étudié cette question.