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.

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

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

16 July 2025

diffhist Formal system 15:50 −57 180.75.46.143 talk (sprucing up of paragraph)
diffhist Formal system 15:36 +35 180.75.46.143 talk (i have removed statements on this page which are inaccurate (note: formal systems have nothing to do with inductive systems). i have restored paragraphs from earlier versions of this page.)
diffhist m Formal system 11:20 +317 ClueBot NG talk contribs (Reverting possible vandalism by 203.106.194.247 to older version. Report False Positive? Thanks, ClueBot NG. (4404302) (Bot)) Tag: Rollback
diffhist Formal system 11:15 +17 203.106.194.247 talk Tags: Manual revert Reverted
diffhist Formal system 11:15 −17 203.106.194.247 talk Tag: Reverted
diffhist Formal system 11:13 +34 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
diffhist Formal system 11:13 −1 203.106.194.247 talk Tag: Reverted
diffhist Formal system 11:12 −350 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
diffhist Carnegie Mellon University 01:02 −32 ElKevbo talk contribs (rv good-faith edits per MOS:OL) Tag: Manual revert

15 July 2025

diffhist Zermelo–Fraenkel set theory 22:21 −164 Trovatore talk contribs (→Axiom of pairing: oh, I see why that was there. Easily fixed; just get rid of the digression about redundancy, which is unimportant)
diffhist Zermelo–Fraenkel set theory 22:19 −233 Trovatore talk contribs (→Axiom of pairing: rm out-of-place claim -- we don't need to prove here that there is a set with at least two elements)
diffhist Zermelo–Fraenkel set theory 22:18 +2 Trovatore talk contribs (fix comma splice)
diffhist Zermelo–Fraenkel set theory 22:10 +1 Trovatore talk contribs (add period)
diffhist Zermelo–Fraenkel set theory 22:10 −2 Trovatore talk contribs (typo)
diffhist Zermelo–Fraenkel set theory 22:09 +358 Trovatore talk contribs (fixes to pairing axiom (see discussion on talk))
diffhist Axiomatic system 21:56 −13 Yesterday, all my dreams... talk contribs (→Example: these axioms are deductive, not semantic)
diffhist Axiomatic system 21:55 −13 Yesterday, all my dreams... talk contribs (→Axioms and models: formal structures are by definition well defined)
diffhist m Natural deduction 21:09 −1 Scrooge Mcduc talk contribs (→Gentzen-style example proofs: typo fix)
diffhist m Lambda calculus 19:32 −4 Frap talk contribs
diffhist Lambda calculus 18:28 +416 Jochen Burghardt talk contribs (→Free variables: citation; bound / free aren't disjoint)
diffhist Lambda calculus 17:39 −32 Scrooge Mcduc talk contribs (→Free variables)
diffhist Zermelo–Fraenkel set theory 17:35 +36 2601:204:f181:9410:7903:f639:5086:2ec9 talk (→Axiom of pairing: Fixed "Axiom of pairing")
diffhist Zermelo–Fraenkel set theory 17:20 +3 2601:204:f181:9410:7903:f639:5086:2ec9 talk (→Axiom of pairing: Fixed false statement (and bad grammar).)
diffhist Carnegie Mellon University 13:41 +32 Khurmatillayev talk contribs (I added several links to the page. I added information about colleges of the university.) Tags: Reverted Visual edit

14 July 2025

diffhist Carnegie Mellon University 21:23 +60 2601:540:c402:3aa0:892f:f12e:456b:ff4f talk
diffhist Zermelo–Fraenkel set theory 20:02 +152 41.230.140.43 talk (→Axiom of infinity) Tag: Visual edit: Switched
diffhist Dimension 15:15 +218 Arutoria talk contribs (→Time: citation) Tag: Visual edit

13 July 2025

diffhist Mathematical logic 23:14 −4 Trovatore talk contribs (Undid revision 1300363491 by 2601:204:D100:F5B0:1089:1862:1796:D986 (talk) no, we don't do that here) Tag: Undo
diffhist Mathematical logic 22:19 +4 2601:204:d100:f5b0:1089:1862:1796:d986 talk (Fixed a recursive loop in the Wikipedia "philosophy" game.) Tags: Reverted Mobile edit Mobile web edit Disambiguation links added
diffhist ArXiv 18:40 +62 Stormgaze talk contribs (added access info and clarified that arxiv is publicly accessible.)
diffhist ArXiv 18:36 −3 Stormgaze talk contribs (updated short description from prepreints to e-prints to more accurately reflect introduction content)

16 July 2025

15 July 2025

14 July 2025

13 July 2025

12 July 2025

11 July 2025

10 July 2025

9 July 2025