Articles par tag: formal-logic

Structure des nombres réels en mathématiques formelles

Apprenez comment ℝ est construit à partir de ℕ par paires, coupures de Dedekind et argument diagonal de Cantor. Pour les développeurs : constructions formelles de l'arithmétique sans hypothèses.