| Re: [EGD-discu] Compose indice + exposant, brouillon de dispo |
[ Thread Index |
Date Index
| More ergodis.org/discussions Archives
]
Le 05/08/2016 à 09:53, Thomas Vergnaud a écrit :
C'est quand même pratique de pouvoir écrire « ∀ n, q ∈ ℕ², n∕q ∈ ℚ »
Rhhhoooooo ! Et q≠0 alors ? :-)
(pour tous nombres n et q appartenant à l'ensemble des entiers naturels,
n/q est un nombre rationel. Je crois que la vraie définition est plus
subtile que ça ; c'est juste un exemple). Ce n'est pas très joli, mais
on comprend quand même.
--
Pour ne plus recevoir les messels de cette liste de discussion, envoyez un messel avec pour destinataire discussions-REQUEST@xxxxxxxxxxx et pour sujet "unsubscribe".