# User contributions for TheoLaLeo

Jump to navigation
Jump to search

- 17:53, 23 December 2021 diff hist +413 User talk:TheoLaLeo current
- 07:34, 23 December 2021 diff hist +410 User talk:TheoLaLeo
- 09:27, 22 December 2021 diff hist +185 ProofWiki:Jokes/Mathematicians' Party
- 07:56, 22 December 2021 diff hist +250 ProofWiki:Jokes
- 07:36, 22 December 2021
diff hist
**+523** ProofWiki:Jokes - 07:26, 22 December 2021 diff hist +183 ProofWiki:Jokes/Limericks current
- 07:10, 22 December 2021
diff hist
**+524** ProofWiki:Jokes/Physicist Mathematician and Engineer Jokes current - 07:03, 22 December 2021
diff hist
**+583** ProofWiki:Jokes/Physicist Mathematician and Engineer Jokes - 06:03, 22 December 2021
diff hist
**+977** ProofWiki:Jokes - 05:35, 22 December 2021 diff hist −42 m ProofWiki:Jokes
- 05:06, 20 December 2021 diff hist +130 ProofWiki:Jokes
- 03: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..." - 04:51, 5 December 2021 diff hist 0 Powerset Not Subset of its Set/Proof 3 current
- 04:50, 5 December 2021 diff hist +102 Powerset Not Subset of its Set current
- 04:50, 5 December 2021 diff hist +317 N Powerset 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:45, 5 December 2021 diff hist +9 m No Infinitely Descending Membership Chains current
- 04:40, 5 December 2021 diff hist +102 Powerset Not Subset of its Set
- 04:39, 5 December 2021 diff hist +1 m Powerset Not Subset of its Set/Proof 2 current
- 04:39, 5 December 2021 diff hist +464 N Powerset 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:33, 5 December 2021 diff hist −159 Powerset Not Subset of its Set
- 04:32, 5 December 2021 diff hist +8 Equality of Ordered Pairs current
- 04:32, 5 December 2021 diff hist +158 Powerset Not Subset of its Set/Proof 1 current
- 04:30, 5 December 2021 diff hist −436 Powerset Not Subset of its Set
- 04:27, 5 December 2021
diff hist
**+664** N Powerset 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..." - 18:14, 3 December 2021 diff hist +287 Talk:Powerset Not Subset of its Set current
- 18:11, 3 December 2021 diff hist +14 Powerset Not Subset of its Set
- 18:09, 3 December 2021 diff hist +136 m Talk:Powerset Not Subset of its Set
- 18:04, 3 December 2021 diff hist +38 Definition:Infinite Successor Set current
- 18:03, 3 December 2021 diff hist +46 Definition:Inductive Set current
- 17:47, 3 December 2021 diff hist +235 N Definition talk:Inductive Set Created page with "What's the difference between this and infinite successor set? They both use the same successor definition --~~~~"
- 07:23, 3 December 2021 diff hist −9 m User:TheoLaLeo current
- 07:22, 3 December 2021 diff hist +38 m Equality of Ordered Pairs
- 07:22, 3 December 2021
diff hist
**+750** N Powerset 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:02, 3 December 2021 diff hist +30 m Book:Thomas Jech/Set Theory/Third Edition current
- 06:57, 3 December 2021 diff hist +143 m Equality of Ordered Pairs
- 06:57, 3 December 2021 diff hist +33 m Axiom:Axiom of Replacement current
- 06:54, 3 December 2021 diff hist +31 m Book:Thomas Jech/Set Theory/Third Edition
- 06:53, 3 December 2021 diff hist +155 m Axiom:Axiom of Replacement
- 06:53, 3 December 2021 diff hist +33 m Axiom:Axiom of Infinity/Set Theory current
- 06:49, 3 December 2021 diff hist −74 m Axiom:Axiom of Replacement make uniqueness quantifier explicit
- 06:45, 3 December 2021 diff hist +29 m Book:Thomas Jech/Set Theory/Third Edition
- 06:44, 3 December 2021 diff hist +135 m Axiom:Axiom of Infinity/Set Theory
- 06:44, 3 December 2021 diff hist +209 m Definition:Inductive Set
- 06:44, 3 December 2021 diff hist +32 m Relation Partitions Set iff Equivalence current
- 06:13, 3 December 2021 diff hist +21 m User:TheoLaLeo
- 06:07, 3 December 2021 diff hist +135 m Relation Partitions Set iff Equivalence
- 06:07, 3 December 2021 diff hist +187 m Definition:Quotient Set
- 06:07, 3 December 2021 diff hist +180 m Definition:Equivalence Class current
- 06:07, 3 December 2021 diff hist +176 m Definition:Set Partition/Definition 1 current
- 06:07, 3 December 2021 diff hist +188 m Definition:Pairwise Disjoint current