Event JSON
{
"id": "faed2b5e4d8afee26aa655dc71cbd0e509031b6070715d6186baec2bc9e94bfc",
"pubkey": "406cda1605d9d95b1e39a78327c3891afba2baecd30a02b403c900e6d3f9bb58",
"created_at": 1738864281,
"kind": 1,
"tags": [
[
"p",
"8e348b2dd5090e2fb20cb18a9a7b7edffd5f9542ed35518dc378ef8c88524d3f",
"wss://relay.mostr.pub"
],
[
"p",
"934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49",
"wss://relay.mostr.pub"
],
[
"p",
"ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"wss://relay.mostr.pub"
],
[
"p",
"7155877a5d41d52f39a0ed0632fbf87e98cdc7b42214ec4d2e60fce1fba5a5aa",
"wss://relay.mostr.pub"
],
[
"e",
"7df263533794dab7182d6ded0c55e5dcfbf47c37b0cc4eecb13e756bebc8a250",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/andrejbauer/statuses/113958209550991413",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq3c6gktw4py8zlvsvkx9f57m7ml74l92za564rrwr0rhcezzjf5lsn3hvl9 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 Actually, you need only ∀ and ⇒ to state the correct definition of well-foundedness, whereas for no-infinite-descending-chains you first postulate ℕ, and then one night you wake up in cold sweat, realizing that well-foundedness of ℕ is stated using well-foundedness of ℕ.",
"sig": "368d808957ab0382e5f7ca23640e8db129918be7854fef4bbc381d4709889824f4871508bc93ead29d3ff0cf427a75f23e0dd0ffe82ffebca93957ccf3f1232e"
}
