Bonjour à tous,
On peut définircomme le complété du corps valué
. Par densité des rationnels dans les réels, il est naturel de prolonger les opérations de
par continuité sur
, mais il faut ensuite prouver que muni de ces opérations
est un corps.
Plutôt que de vérifier chaque propriété de la définition d'un corps, je me demandais s'il n'était pas possible de montrer (en introduisant un certain langage) que toute proposition du premier ordre vérifiée parl'est également par
, ou bien quelque chose d'approchant.
Qu'en dîtes-vous ?
Merci d'avance,
Seirios
-----