User contributions for WillF63
A user with 8 edits. Account created on 3 April 2024.
23 May 2024
- 16:2516:25, 23 May 2024 diff hist +19 Cantor's theorem Undid revision 1225305652 by WillF63 (talk) Tag: Undo
- 16:2316:23, 23 May 2024 diff hist −19 Cantor's theorem Undid revision 1224216065 by ElskverdigHug (talk) Tags: Undo Reverted
25 April 2024
- 21:1321:13, 25 April 2024 diff hist −25 User:WillF63 No edit summary current
24 April 2024
- 20:4720:47, 24 April 2024 diff hist +824 N User:WillF63 ←Created page with 'I enjoy mathematics and mathematical physics. '''Theorem.''' The axiom of unrestricted comprehension leads to a contradiction. '''Proof.''' Suppose the axiom of unrestricted comprehension: <math>\exist x \forall y [y\in x \iff \Psi(y)]</math> for any wff <math>\Psi</math>. <math>\lnot (x\in x)</math> is a wff. <math>\implies \exists\mathcal{R}\forall x[x\in \mathcal{R} \iff \lnot (x\in x)]</math> <math>\implies [...'
- 20:0820:08, 24 April 2024 diff hist +222 Cantor's theorem →When A is countably infinite
- 19:5919:59, 24 April 2024 diff hist +485 Cantor's theorem →When A is countably infinite: we name the power set 𝒫('''N''') and \mathcal{P}(\mathbb{N}) in different places. I have made the notation consistent. I welcome anyone to undo this and use 𝒫('''N''') in-line and \mathscr{P}\textbf{N} in display as this is a personal preference, however I think that the notation should be consistent, at least across a section. I personally consider the use of the 'fancy' script as obfuscating matters unnecessarily.
- 19:4619:46, 24 April 2024 diff hist +212 Cantor's theorem →Proof: math formatting
19 April 2024
- 09:5809:58, 19 April 2024 diff hist +156 Cantor's theorem Put maths in <math></math>
