axpgn ha scritto:Questa è solo una ridefinizione di quello che ho scritto io
No, è una risposta alla tua domanda che rispetta i requisiti che hai posto: la proposizione "\(m\in \mathbb{Z}\smallsetminus\{5,17,257\}\)" è vera per tutti gli interi diversi da 5,17,257.
E detto per inciso, il fatto che ti abbia risposto così voleva sottolineare che è una domanda estremamente stupida, per lo stesso motivo per cui lo sono tutte le domande della forma "3,4,10,17,0,... che numero viene dopo?". Dovremmo essere un forum di matematica, non di enigmistica, e sollecitare in chi ci legge la sensibilità verso domande ben poste. La tua non lo è, perché ammette almeno due risposte incomparabili.
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)