Universal quantification: Revision history

13 September 2026

• curprev 05:5105:51, 13 September 2026 Annoyedhumanoid talk contribs 15,783 bytes −83 remove self reference; link is already in the first sentence undo Tag: 2017 wikitext editor

19 August 2026

• curprev 02:0502:05, 19 August 2026 Tolsai talk contribs m 15,866 bytes +178 added a link undo Tag: Visual edit

28 July 2026

• curprev 04:0404:04, 28 July 2026 Panamitsu talk contribs 15,688 bytes −1 rm blank line undo Tag: Visual edit

10 July 2026

• curprev 17:1517:15, 10 July 2026 Jochen Burghardt talk contribs 15,689 bytes −60 Undid revision 1363468252 by Asotlanl (talk): see next paragraph undo Tag: Undo
• curprev 10:5410:54, 10 July 2026 Asotlanl talk contribs m 15,749 bytes +60 →top: added symbolic representation to intro so it appears in page preview (to match existential quantification) undo Tags: Reverted Mobile edit Mobile app edit Android app edit App full source

16 April 2026

• curprev 01:2001:20, 16 April 2026 SoftGale talk contribs m 15,689 bytes +23 updated link about the history of the universal quantifier undo

7 April 2026

• curprev 00:1600:16, 7 April 2026 1234qwer1234qwer4 talk contribs 15,666 bytes +4 link (via WP:JWB) undo Tag: JWB

22 February 2026

• curprev 21:5821:58, 22 February 2026 Tassedethe talk contribs 15,662 bytes +72 +hatnote undo

13 December 2025

• curprev 23:4723:47, 13 December 2025 Wbm1058 talk contribs 15,590 bytes −67 removing hatnote for Upside down A – made it conform with Upside-down A undo Tag: Manual revert
• curprev 23:3623:36, 13 December 2025 Wbm1058 talk contribs m 15,657 bytes 0 fix the hatnote undo Tag: Reverted

10 December 2025

• curprev 11:0911:09, 10 December 2025 Just a generic username talk contribs 15,657 bytes +67 Added redirect template for "upside down a" undo Tags: Reverted Visual edit

18 September 2025

• curprev 03:1703:17, 18 September 2025 Izno talk contribs m 15,590 bytes −16 Reverted edits by PG2345 (talk) to last version by D.Lazard undo Tag: Rollback
• curprev 02:1902:19, 18 September 2025 PG2345 talk contribs 15,606 bytes +46 No edit summary undo Tag: Reverted
• curprev 02:1802:18, 18 September 2025 PG2345 talk contribs 15,560 bytes −30 MOS:BOLDLINKAVOID undo Tag: Reverted

18 February 2025

• curprev 09:4409:44, 18 February 2025 D.Lazard talk contribs 15,590 bytes −3 tweaks undo
• curprev 08:5508:55, 18 February 2025 Brittletheories talk contribs 15,593 bytes +66 No edit summary undo

10 December 2024

• curprev 21:3921:39, 10 December 2024 Jochen Burghardt talk contribs 15,527 bytes −444 →Basics: the "etc" requires the reader to guess which sequence the author had in mind, and therefore is not formalizable; any possible formalization requires a language element similar to a univarsal quantifier undo
• curprev 16:5116:51, 10 December 2024 195.134.180.18 talk 15,971 bytes +496 →Basics undo Tag: Visual edit: Switched

24 November 2024

• curprev 17:4017:40, 24 November 2024 Jochen Burghardt talk contribs 15,475 bytes −72 Restored revision 1237769273 by Jochen Burghardt (talk): Complete reversion of subsequent test edits undo Tags: Twinkle Undo

23 November 2024

• curprev 22:2622:26, 23 November 2024 173.94.42.96 talk 15,547 bytes −198 Reverted nonsense edits undo Tag: Reverted

18 November 2024

• curprev 17:1517:15, 18 November 2024 ShoulderCramp talk contribs m 15,745 bytes −418 reverted edit undo Tag: Reverted
• curprev 16:5716:57, 18 November 2024 178.168.35.252 talk 16,163 bytes +493 No edit summary undo Tags: Reverted Visual edit
• curprev 16:1516:15, 18 November 2024 178.168.35.252 talk 15,670 bytes +48 No edit summary undo Tags: Reverted Visual edit
• curprev 16:1116:11, 18 November 2024 178.168.35.252 talk 15,622 bytes +147 No edit summary undo Tags: Reverted Visual edit

31 July 2024

• curprev 11:2511:25, 31 July 2024 Jochen Burghardt talk contribs 15,475 bytes +129 →Other connectives: footnote to clarify "affected" undo

30 July 2024

• curprev 22:2322:23, 30 July 2024 Beland talk contribs 15,346 bytes +51 {{for|"for every" in computer logic|Foreach loop}} undo

21 March 2023

• curprev 17:0617:06, 21 March 2023 Fgnievinski talk contribs 15,295 bytes +30 No edit summary undo Tag: 2017 wikitext editor

25 February 2023

• curprev 08:3608:36, 25 February 2023 D.Lazard talk contribs 15,265 bytes −12 Changing short description from "Use of "for all" in logic and mathematics" to "Mathematical use of "for all"" undo Tag: Shortdesc helper

24 February 2023

• curprev 22:3022:30, 24 February 2023 D.Lazard talk contribs 15,277 bytes +11 Changing short description from "Concept in logic (mathematics)" to "Use of "for all" in logic and mathematics" undo Tag: Shortdesc helper
• curprev 19:2519:25, 24 February 2023 Donko XI talk contribs 15,266 bytes −39 →top: Adjusted short description as per WP:SHORTDESC. The purpose of the short description is not to define the subject or summarize the lead WP:SDNOTDEF, but to briefly indicate the field and disambiguate search results. undo Tags: Mobile edit Mobile app edit Android app edit

20 June 2022

• curprev 16:2516:25, 20 June 2022 SamanthaNguyen talk contribs 15,305 bytes +314 + Template:Infobox mathematical statement undo Tag: 2017 wikitext editor

8 February 2022

• curprev 09:3709:37, 8 February 2022 Felix QW talk contribs 14,991 bytes −6 removed Category:Quantification (science); added Category:Quantifier (logic) using HotCat undo

29 December 2021

• curprev 21:3721:37, 29 December 2021 Mgkrupa talk contribs m 14,997 bytes +23 Added {{Mathematical logic}} undo

22 November 2021

• curprev 01:3801:38, 22 November 2021 112.201.109.119 talk 14,974 bytes 0 No edit summary undo

25 June 2021

• curprev 14:4714:47, 25 June 2021 D.Lazard talk contribs 14,974 bytes 0 →Negation: + paragraph change undo
• curprev 12:3312:33, 25 June 2021 Jochen Burghardt talk contribs 14,974 bytes −497 →Negation: a quantified propositional function may still have free variables left; notational variants of negation needn't be discussed here; existence of unmarried people can't be mathematically proved, and might even be wrong near the end of humanity; don't confuse 'statement' and 'prop. fct.'; De-Morgan law holds also for empty X; rm repetition undo
• curprev 11:1111:11, 25 June 2021 D.Lazard talk contribs 15,471 bytes +181 →Negation: MOS:NOTE, rm pedantry (use of "universe of discourse"), fixing latex syntax, stating at the beginning the property that is detailed in the section undo
• curprev 10:3310:33, 25 June 2021 D.Lazard talk contribs m 15,290 bytes +4 Reverted 1 edit by 113.199.137.79 (talk) to last revision by Jochen Burghardt undo Tags: Twinkle Undo
• curprev 10:1710:17, 25 June 2021 113.199.137.79 talk 15,286 bytes −4 →Properties undo Tags: Reverted wikilinks removed Visual edit

15 April 2021

• curprev 09:2409:24, 15 April 2021 Jochen Burghardt talk contribs 15,290 bytes −35 Undid revision 1017900671 by 2A00:23C5:C391:DD01:2875:FB1F:8D8C:CD4A: contradicting the given citation; feel free to redo the edit with an appropriate citation about Peirce undo Tag: Undo
• curprev 06:3906:39, 15 April 2021 2a00:23c5:c391:dd01:2875:fb1f:8d8c:cd4a talk 15,325 bytes +35 →Notation undo Tag: Reverted

3 March 2021

• curprev 17:1017:10, 3 March 2021 D.Lazard talk contribs 15,290 bytes +15 Reverted 1 edit by 2600:6C44:97F:EAD8:FC82:65CE:5D8:914A (talk): This is a convention that results ffom the definition of the material implication, which is itself a convention like every definition undo Tags: Twinkle Undo
• curprev 16:5816:58, 3 March 2021 2600:6c44:97f:ead8:fc82:65ce:5d8:914a talk 15,275 bytes −15 →The empty set: The words “by convention” were removed at the start of the first sentence. The only way this is “by convention” is the way the rest of the article is by convention. Once “for all” is defined as in the “definition” section, no additional convention must be chose for this to be true. undo Tags: Reverted Mobile edit Mobile web edit

11 February 2021

• curprev 17:2117:21, 11 February 2021 Hellacioussatyr talk contribs 15,290 bytes 0 →As adjoint undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 17:1617:16, 11 February 2021 Hellacioussatyr talk contribs 15,290 bytes −1 No edit summary undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 17:1417:14, 11 February 2021 Hellacioussatyr talk contribs 15,291 bytes +11 →Notation undo Tags: Mobile edit Mobile web edit Advanced mobile edit
• curprev 17:1217:12, 11 February 2021 Hellacioussatyr talk contribs 15,280 bytes +13 →Basics undo Tags: Mobile edit Mobile web edit Advanced mobile edit

7 February 2021

• curprev 17:5117:51, 7 February 2021 Hellacioussatyr talk contribs m 15,267 bytes +3 Inline formatting simplification undo Tag: 2017 wikitext editor

6 January 2021

• curprev 03:0503:05, 6 January 2021 Francois-Pier talk contribs 15,264 bytes +28 +template undo

4 January 2021

• curprev 09:0909:09, 4 January 2021 Jochen Burghardt talk contribs 15,236 bytes −186 →Notation: no reason to mention just this notation here; the link to Quantifier (logic)#Notation (redirect shortcut) covers it, too undo