User contributions for TheoLaLeo

23 December 2021

• 17:5317:53, 23 December 2021 diff hist +413‎ User talk:TheoLaLeo ‎No edit summary current
• 07:3407:34, 23 December 2021 diff hist +410‎ User talk:TheoLaLeo ‎No edit summary

22 December 2021

• 09:2709:27, 22 December 2021 diff hist +185‎ ProofWiki:Jokes/Mathematicians' Party ‎No edit summary
• 07:5607:56, 22 December 2021 diff hist +250‎ ProofWiki:Jokes ‎No edit summary
• 07:3607:36, 22 December 2021 diff hist +523‎ ProofWiki:Jokes ‎No edit summary
• 07:2607:26, 22 December 2021 diff hist +183‎ ProofWiki:Jokes/Limericks ‎No edit summary
• 07:1007:10, 22 December 2021 diff hist +524‎ ProofWiki:Jokes/Physicist Mathematician and Engineer Jokes ‎No edit summary
• 07:0307:03, 22 December 2021 diff hist +583‎ ProofWiki:Jokes/Physicist Mathematician and Engineer Jokes ‎No edit summary
• 06:0306:03, 22 December 2021 diff hist +977‎ ProofWiki:Jokes ‎No edit summary
• 05:3505:35, 22 December 2021 diff hist −42‎ m ProofWiki:Jokes ‎No edit summary

20 December 2021

• 05:0605:06, 20 December 2021 diff hist +130‎ ProofWiki:Jokes ‎No edit summary

11 December 2021

• 03:3403:34, 11 December 2021 diff hist +2,732‎ N Book:Elliott Mendelson/Introduction to Mathematical Logic/Sixth Edition ‎ Created page with "{{Book|Introduction to Mathematical Logic|2015|Routledge|978-1482237726|Elliott Mendelson|ed = 6th}} === Subject Matter === * Mathematical Logic === Contents === ::Preface ::Introduction :1. The Propositional Calculus ::Propositional Connectives:Truth Tables ::Tautologies ::Adequate Sets of Connectives ::An Axiom System for the Propositional Calculus ::Independence: Many-Valued Logics ::Other Axiomatizations :2. First-Order Logic..."

5 December 2021

• 04:5104:51, 5 December 2021 diff hist 0‎ Powerset is not Subset of its Set/Proof 3 ‎No edit summary
• 04:5004:50, 5 December 2021 diff hist +102‎ Powerset is not Subset of its Set ‎No edit summary
• 04:5004:50, 5 December 2021 diff hist +317‎ N Powerset is not Subset of its Set/Proof 3 ‎ Created page with "== Theorem == {{:Powerset Not Subset of its Set}} == Proof == <onlyinclude> {{AimForCont}} that $\powerset A \subseteq A$. Since $A \in \powerset A$, this implies: :$A \in A$ But this contradicts Set is Not Element of Itself. {{qed}} {{AoF}} </onlyinclude> Category:Power Set"
• 04:4504:45, 5 December 2021 diff hist +9‎ m No Infinitely Descending Membership Chains ‎No edit summary
• 04:4004:40, 5 December 2021 diff hist +102‎ Powerset is not Subset of its Set ‎No edit summary
• 04:3904:39, 5 December 2021 diff hist +1‎ m Powerset is not Subset of its Set/Proof 2 ‎No edit summary
• 04:3904:39, 5 December 2021 diff hist +464‎ N Powerset is not Subset of its Set/Proof 2 ‎ Created page with "== Theorem == {{:Powerset Not Subset of its Set}} == Proof == <onlyinclude> {{AimForCont}} that $\powerset A \subseteq A$. Let $I: \powerset A \to A$ be the identity mapping. $I$ is an injection by Identity Mapping is Injection. But by No Injection from Power Set to Set, this is a contradiction. {{qed}} </onlyinclude> Category:Power Set Category:Injection"
• 04:3304:33, 5 December 2021 diff hist −159‎ Powerset is not Subset of its Set ‎No edit summary
• 04:3204:32, 5 December 2021 diff hist +8‎ Equality of Ordered Pairs ‎No edit summary
• 04:3204:32, 5 December 2021 diff hist +158‎ Powerset is not Subset of its Set/Proof 1 ‎No edit summary
• 04:3004:30, 5 December 2021 diff hist −436‎ Powerset is not Subset of its Set ‎No edit summary
• 04:2704:27, 5 December 2021 diff hist +664‎ N Powerset is not Subset of its Set/Proof 1 ‎ Created page with "== Theorem == {{:Powerset Not Subset of its Set}} == Proof == <onlyinclude> {{AimForCont}} that $\powerset A \subseteq A$, and define: :$C = \set {x \in \powerset A : x \notin x}$ We have that $C \subseteq \powerset A$, as it contains only the $x \in \powerset A$ meeting the condition $x \notin x$. Since $\powerset A \subseteq A$, we have: :$C \subseteq A$ and thus :$C \in \powerset A$ We can derive a similar contradiction to Russell's..."

3 December 2021

• 18:1118:11, 3 December 2021 diff hist +14‎ Powerset is not Subset of its Set ‎No edit summary
• 18:0318:03, 3 December 2021 diff hist +46‎ Definition:Inductive Set ‎No edit summary
• 07:2307:23, 3 December 2021 diff hist −9‎ m User:TheoLaLeo ‎No edit summary
• 07:2207:22, 3 December 2021 diff hist +38‎ m Equality of Ordered Pairs ‎No edit summary
• 07:2207:22, 3 December 2021 diff hist +750‎ N Powerset is not Subset of its Set ‎ Created page with "== Theorem == Let $A$ be a set. $A \not \subseteq \powerset A$ == Proof == {{AimForCont}} that $A \subseteq \powerset A$ and define: :$C = \set { x \in \powerset A : x \notin x }$ We have that $C \subseteq \powerset A$. Since $\powerset A \subseteq A$, we have: :$C \subseteq A$ and thus :$C \in \powerset A$ We can derive a similar contradiction to Russell's Paradox. If $C \in C$, then it must meet $C$'s conditi..."
• 07:0207:02, 3 December 2021 diff hist +30‎ m Book:Thomas Jech/Set Theory/Third Edition ‎No edit summary
• 06:5706:57, 3 December 2021 diff hist +143‎ m Equality of Ordered Pairs ‎No edit summary
• 06:5706:57, 3 December 2021 diff hist +33‎ m Axiom:Axiom of Replacement/Set Theory ‎No edit summary
• 06:5406:54, 3 December 2021 diff hist +31‎ m Book:Thomas Jech/Set Theory/Third Edition ‎No edit summary
• 06:5306:53, 3 December 2021 diff hist +155‎ m Axiom:Axiom of Replacement/Set Theory ‎No edit summary
• 06:5306:53, 3 December 2021 diff hist +33‎ m Axiom:Axiom of Infinity/Set Theory ‎No edit summary
• 06:4906:49, 3 December 2021 diff hist −74‎ m Axiom:Axiom of Replacement/Set Theory ‎ make uniqueness quantifier explicit
• 06:4506:45, 3 December 2021 diff hist +29‎ m Book:Thomas Jech/Set Theory/Third Edition ‎No edit summary
• 06:4406:44, 3 December 2021 diff hist +135‎ m Axiom:Axiom of Infinity/Set Theory ‎No edit summary
• 06:4406:44, 3 December 2021 diff hist +209‎ m Definition:Inductive Set ‎No edit summary
• 06:4406:44, 3 December 2021 diff hist +32‎ m Relation Partitions Set iff Equivalence ‎No edit summary
• 06:1306:13, 3 December 2021 diff hist +21‎ m User:TheoLaLeo ‎No edit summary
• 06:0706:07, 3 December 2021 diff hist +135‎ m Relation Partitions Set iff Equivalence ‎No edit summary
• 06:0706:07, 3 December 2021 diff hist +187‎ m Definition:Quotient Set ‎No edit summary
• 06:0706:07, 3 December 2021 diff hist +180‎ m Definition:Equivalence Class ‎No edit summary
• 06:0706:07, 3 December 2021 diff hist +176‎ m Definition:Set Partition/Definition 1 ‎No edit summary
• 06:0706:07, 3 December 2021 diff hist +188‎ m Definition:Pairwise Disjoint ‎No edit summary
• 06:0706:07, 3 December 2021 diff hist +36‎ m Definition:Equivalence Relation ‎No edit summary
• 05:5505:55, 3 December 2021 diff hist +11‎ m Definition:Extension of Mapping ‎No edit summary
• 05:5405:54, 3 December 2021 diff hist +31‎ m Definition:Extension of Mapping ‎No edit summary
• 05:5405:54, 3 December 2021 diff hist +191‎ m Definition:Composition of Mappings ‎No edit summary