puisque le salut est en nous, n'est il pas assuré que l'armée des esprits débouche dans l'éternité, pourvu que nous ayons soin de maintenir à la notion d'éternité sa stricte signification d'immanence radicale ?

#HoTT univalent foundations

17.11.2017 …

Par topos

https://anthroposophiephilosophieetscience.wordpress.com/2017/11/17/homotopy-type-theory-univalent-foundations-of-mathematics/