- I would write the first one, and even leave out the braces [ ] unless this were part of some larger logical sentence.
The second one looks slightly weird because of the duplicated 𝑛 in
∃𝑛(𝑛∈ℕ)
In the third one I would read the : as 'such that'. So in theory it reads correctly. But no logician would write this, for various reasons.
John Carlos Baez /
npub1nf…3nqe4
2024-09-08 14:05:50
in reply to nevent1q…ajw2
Author Public Key
npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4Published at
2024-09-08 14:05:50Event JSON
{
"id": "c7c7199860b4599147e988efaca6783b044a8c2e0db8fd7e0e7ac2211b6ea404",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1725804350,
"kind": 1,
"tags": [
[
"p",
"bb64e9640a7b81f1eb812a62963f4fe6760da5f7ec94fa33fbd76c00c8ad238f"
],
[
"e",
"0892add234d4b2d5efad10c15a9f70d22b27911c5d056f83c1bb563a822f6285",
"",
"root",
"bb64e9640a7b81f1eb812a62963f4fe6760da5f7ec94fa33fbd76c00c8ad238f"
],
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/113102313903637780",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/113102313903637780",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/113102313903637780",
"pink.momostr"
],
[
"-"
]
],
"content": "- I would write the first one, and even leave out the braces [ ] unless this were part of some larger logical sentence.\n\nThe second one looks slightly weird because of the duplicated 𝑛 in \n\n∃𝑛(𝑛∈ℕ)\n\nIn the third one I would read the : as 'such that'. So in theory it reads correctly. But no logician would write this, for various reasons.",
"sig": "15f275aa9d2a6cef675c02dbcc26e8e02a159fbff7a78341ce27b304bba3f9764ef0207f72efa0d72b8646af642184626a75a75e353b6b68da45d41efd391435"
}