Related changes

7 May 2025

• diffhist m Gödel numbering 18:15 −8 SidP talk contribs (→top: changed tag)
• diffhist m Gödel numbering 18:13 +28 SidP talk contribs (→top: more ref needed)
• diffhist Gödel numbering 18:07 +958 SidP talk contribs (reference formatting (sorry, I don't know harv style) for additional inline ref points, biblio data, wording)
• diffhist Gödel numbering 17:44 −473 SidP talk contribs (→References: reference formatting, biblio data, moving one ref inline, moving reflist above others so it doesn't appear to nest)
• diffhist Axiomatic system 16:35 +96 Yesterday, all my dreams... talk contribs (→Axioms and models: + satisfiability of axioms)
• diffhist Addition 16:18 −16 Anita5192 talk contribs (Undid revision 1289180157 by Joeleoj123 (talk)Reverted good faith edit per WP:NOTSEEALSO. This is already linked earlier in the article.) Tag: Undo
• diffhist m First-order logic 16:12 −3 BardRapt talk contribs (J. P. E. Hodgson, Professor Emeritus)
• diffhist First-order logic 10:56 −6 145.137.163.43 talk (→Logical symbols: Removed Polish notation of "V" and "O")
• diffhist First-order logic 10:51 −749 145.137.163.43 talk (Unnecessary mention of Polish notation in multiple parts of the entry.)
• diffhist Multiplication 09:52 −687 Isaidnoway talk contribs (→References: list-defined ref not used)
• diffhist Syllogism 07:19 −31 GhostInTheMachine talk contribs (→Table of all syllogisms: hide the table by default as it is too wide for most displays)
• diffhist m Lemma (mathematics) 06:07 −1 Gert7 talk contribs Tag: 2017 wikitext editor
• diffhist m Cardinality 03:22 −298 Rsjaffe talk contribs (clean up, typo(s) fixed: caled → called, suprising → surprising, arive → arrive, disticnt → distinct) Tag: AWB

6 May 2025

• diffhist Addition 23:44 +16 Joeleoj123 talk contribs (→See also: adding a series, like the pi for production series) Tags: Reverted Mobile edit Mobile web edit Advanced mobile edit
• diffhist m Cardinality 22:40 −27 Farkle Griffen talk contribs (→Countable sets) Tag: Visual edit
• diffhist Cardinality 22:38 +1,274 Farkle Griffen talk contribs (→Countable sets: Added a paragraph on algebraic numbers) Tag: Visual edit
• diffhist Formal grammar 21:14 −8 Nyngwang talk contribs (fix: it's "rewrite rules" according to the wiki-page titled "rewriting". (but then the title is a bit misleading.))
• diffhist Addition 20:46 +8 Anita5192 talk contribs (Undid revision 1289157359 by Fire Fiesta! (talk)Reverted unexplained deletion. This defines the sum of two natural numbers; for example, 1 + 1.) Tag: Undo
• diffhist Addition 20:40 −8 Fire Fiesta! talk contribs (→Natural numbers) Tag: Reverted
• diffhist Addition 20:39 0 Fire Fiesta! talk contribs (→Natural numbers)
• diffhist Aleph number 20:31 −3 Trovatore talk contribs (→{{anchor|Aleph-null}}Aleph-zero: s/assuming/using -- on reflection I think this is a better word choice. "Assuming" might lead the reader to think that there is something nontrivial being assumed here, rather than just the application of a convention)
• diffhist Ordinal analysis 19:33 0 C7XWiki talk contribs (To prevent misreading where someone thinks Delta^1_1-CA_0 is in Avigad and Sommer. It still needs a source →Table of ordinal analyses)
• diffhist NP (complexity) 18:11 +9 94.175.200.195 talk (Replaced {{citation needed}} in section title with {{More citations needed section}} as correct template to use)
• diffhist m Aleph number 12:49 −817 D.Lazard talk contribs (Reverted 1 edit by 2600:1700:7AA1:4640:B9BC:96FB:299C:43AE (talk) to last revision by 2600:1700:F420:42D0:88D3:10AD:D637:3272) Tags: Twinkle Undo
• diffhist Aleph number 12:08 +817 2600:1700:7aa1:4640:b9bc:96fb:299c:43ae talk Tag: Reverted
• diffhist Union (set theory) 08:46 −47 Tea2min talk contribs (Undid revision 1289064208 by 212.139.59.194 (talk)) Tag: Undo
• diffhist Union (set theory) 07:48 +47 212.139.59.194 talk (→Notation) Tag: Reverted
• diffhist Wikipedia:WikiProject Reliability 02:58 −298 C.Fred talk contribs (Undid revision 1288925438 by Arghya Mitra (talk) - misplaced and misformatted - please follow the directions if you want to join the project) Tag: Undo

5 May 2025

• diffhist Cardinality 21:17 +1 213.124.166.212 talk (→Etymology: Add missing comma)
• diffhist Three-valued logic 21:12 +2 MrSwedishMeatballs talk contribs (→Kleene and Priest logics) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist m Equality (mathematics) 19:02 0 Farkle Griffen talk contribs Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist Module:Wikitext Parsing 17:47 +26 Dinoguy1000 talk contribs (the Lua # operator recalculates the length every time it's accessed (including on every loop in a for), so cache its value in cheaptrim since the string isn't modified in-place)
• diffhist Mathematical object 17:40 +13 Psychastes talk contribs (Moving from Category:Platonism to Category:Mathematical Platonism diffuse to new cat using Cat-a-lot)
• diffhist m First-order logic 15:33 −44 BardRapt talk contribs (tidying E. Mendelson)
• diffhist m Formal grammar 14:55 +5 Nyngwang talk contribs (replace all "rewrite rules" with "rewriting rules".)
• diffhist m Formal grammar 14:04 −58 Nyngwang talk contribs (remove the explanation of start symbol.)
• diffhist First-order logic 13:09 −28 JRSpriggs talk contribs (→First-order theories, models, and elementary classes: use "(see below)" because internal link did not work)
• diffhist Theory (mathematical logic) 13:05 +72 128.237.82.207 talk (Explain that a formal language and deductive system together give rise to a formal system for reasoning.) Tag: Visual edit
• diffhist Wikipedia:WikiProject Reliability 12:33 +298 Arghya Mitra talk contribs Tag: Reverted
• diffhist First-order logic 11:20 +68 2600:4041:4ac:6a00:3a1d:b362:8ad1:92f2 talk (Explain that proof requires an implicit deductive system) Tags: Visual edit Mobile edit Mobile web edit
• diffhist Formal grammar 10:53 −11 Nyngwang talk contribs (wiki-link the term "symbol" since it's different from the one of an alphabet.)
• diffhist Formal grammar 10:43 +58 Nyngwang talk contribs (people might not know that "a symbol" can be a string here.)
• diffhist Formal grammar 10:30 +36 Nyngwang talk contribs (update the first sentence.)
• diffhist Metalanguage 10:17 +37 Galzigler talk contribs (→See also)
• diffhist Equality (mathematics) 08:49 +317 Farkle Griffen talk contribs (Cleaned up some refs) Tag: Visual edit
• diffhist Binary operation 08:27 −13 D.Lazard talk contribs (→top: rm pedantry)
• diffhist Equality (mathematics) 08:25 +143 Farkle Griffen talk contribs (→In set theory: Fixed ref) Tag: Visual edit
• diffhist Equality (mathematics) 08:09 +70 Farkle Griffen talk contribs (→See also: Added 3 items) Tag: Visual edit
• diffhist m Equality (mathematics) 08:07 +1 Farkle Griffen talk contribs Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist Equality (mathematics) 08:03 +1,742 Farkle Griffen talk contribs (→In set theory: Re-added shortened etymology, for the purpose of including the principle of extensionality.) Tags: nowiki added Visual edit