Mes matheu.ses.x sûr.e.s : est ce que l'existence des complexes peut être justifiée avec le théorème de Steinitz sur l'existence des clôtures algébriques pour n'importe quel corps (en particulier, R ici) ?
Mon intuition me dit que oui mais je n'ai plus en détail la démonstration en tête.

Salut par ici ! Je débarque de nouveau 😁