Liste des Groupes | Revenir à s logic |
Am 16.08.2024 um 00:51 schrieb Jim Burns:and a proof of uniquenessOn 8/15/2024 3:37 PM, Moebius wrote:Am 15.08.2024 um 21:28 schrieb Jim Burns:>Defining ⅟𝔊 to be the smallest unit fraction>
isn't a claim that ⅟𝔊 exists.
You need an existence proof [...]
Hint: That's exactly, what we have to do in math.BEFORE stating a/the proper definition.>
Proving that [a unique] mimsy borogove exist[s]
before defining [the] mimsy borogove
seems like a pretty steep hill to climb.
Les messages affichés proviennent d'usenet.