C’était pas ma question, c’était surtout, dans le cas a // b comment tu garantis que a et b sont bien des entiers ?
A priori si tu définis simplement le fait d’être un entier par un prédicat sur le fait d’être un nombre, n’importe quel nombre pourrait être candidat à une division euclidienne. Le truc pour que ça marche c’est que tu dois être capable de garantir que ce nombre respecte bien ce prédicat ?
[^] # Re: théorie des ensembles pas naives
Posté par thoasm . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 2.
C’était pas ma question, c’était surtout, dans le cas a // b comment tu garantis que a et b sont bien des entiers ?
A priori si tu définis simplement le fait d’être un entier par un prédicat sur le fait d’être un nombre, n’importe quel nombre pourrait être candidat à une division euclidienne. Le truc pour que ça marche c’est que tu dois être capable de garantir que ce nombre respecte bien ce prédicat ?