Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
3 July 2025
- diffhist Formal system 23:26 +82 Yesterday, all my dreams... talk contribs (clarify logical completeness)
- diffhist Formal system 23:22 +16 Yesterday, all my dreams... talk contribs (link)
2 July 2025
- diffhist Formal system 00:50 −23 Yesterday, all my dreams... talk contribs (better lnk)
- diffhist Formal system 00:49 +2 Yesterday, all my dreams... talk contribs (lnk)
- diffhist Formal system 00:48 −1 Yesterday, all my dreams... talk contribs (order)
- diffhist Formal system 00:47 +275 Yesterday, all my dreams... talk contribs (Goedel theorem)
28 June 2025
- diffhist Formal system 23:45 +87 Yesterday, all my dreams... talk contribs (→Formal language: No: Formal languages can exist on their own, and may be used in various systems, or not)
- diffhist Formal system 23:41 −17 Yesterday, all my dreams... talk contribs (also inductive)
- diffhist Formal system 23:39 −17 Yesterday, all my dreams... talk contribs (axioms do nt necessarily rely on structures/models)