La terminologie philosophique fausse de la logique mathématique a fait croire aux philosophes que la logique mathématique traite la vérité au sens philosophique. Mais ils se trompent. La logique mathématique ne traite pas de la vérité, mais du jeu de la vérité.
fge
Une police de caractères pour le Grundgesetze der Arithmetik de Frege ; il fut coupé avec Metafont pour la traduction anglaise (Oxford, 2013).
- Épreuves de romain et italique
- La documentation du paquetage $\rm\LaTeX$
- Une comparaison, (15 Mo), entre la police et scans d'une première édition du Grundgesetze
- La source de la police de caractères est disponible sur GitLab
- La page CTAN
- The convenience of the typesetter, publié dans The Bulletin of Symbolic Logic, discute de la typographie du Grundgesetze en détail
- Un exemplaire numérisé de l'edition 1893 du Grundgesetze de la collection Gallica à la BnF
