Liste des Groupes | Revenir à s math |
On 2/27/25 2:50 PM, WM wrote:No. I use only a subset of predicates in order to reduce the noise of misinterpretations.
No, I call induction a very restricted number of predicates.And thus admit that what you call induction isn't what everyone else does,
Les messages affichés proviennent d'usenet.