Dan Christensen wrote:

>> why the nazis hides in schools and kindergartens
>> https://www.bitchute.com/video/qfhOQA049Jk0/
>> Kornet ATGM with a 9M133F-2 thermobaric warhead. They hit them with
>
> Do you think this shit will help your case at your war crimes trial,

tha cocaine nazi, the khazar zelenske, is bombing himself with the serious
crap sent as gift from the capitalist "west", then accusing Russia for
committing war crimes. Here's the proof, you stupid nazi.

Amazing how much capitalist western crap they got destroyed same time. No
idea how they do it. Must be feeling like treason, for the west, in its
fight for capitalist oligarch nazi "democracy".

Send more military crap to the fictitious "u_kraine", you idiots.

INSANE amount of secondaries as Russians have struck 155mm shells and
other NATO ammo! https://www.bitchute.com/video/aWo0utwhbcpE/

Mostowski Collapse wrote:

> And where based on what axioms do you show existence of a Dedekind
> infinite set? LoL Dan Christensen schrieb am Mittwoch, 17. November 2021
> um 21:29:37 UTC+1:

Send more cocaine to the puppet zelenske, to end the war, you idiots. Not
military crap. The puppet cocaine is bombing himself, or the cannon fodder
got tired of him.

INSANE amount of secondaries as Russians have struck 155mm shells and
other NATO ammo! https://www.bitchute.com/video/aWo0utwhbcpE/

Thats not enough. Are there Dedekind infinite sets?
Why do you say "roughly equivalent to AOI in ZF"?

To the best of my knowledge AOI in ZF implies
existence of a Dedekind infinite set. Do you deny that?

Dan Christensen schrieb am Montag, 27. Juni 2022 um 19:40:23 UTC+2:
> See my reply to your identical posting just now at sci.logic
>
> Dan
> On Monday, June 27, 2022 at 5:19:19 AM UTC-4, Mostowski Collapse wrote:
> > And where based on what axioms do you show
> > existence of a Dedekind infinite set?
> >
> > LoL
> > Dan Christensen schrieb am Mittwoch, 17. November 2021 um 21:29:37 UTC+1:
> > > Here is an updated version of my proof constructing the natural numbers.
> > > .
> > > THEOREM
> > > .
> > > From any Dedekind infinite set x can be selected a subset n on which the Peano Axioms hold. I let f be a function on set x that is injective and not surjective, i.e. x is Dedekind infinite. I let x0 be an element of x having no pre-image under f. I prove:
> > > .
> > > ALL(x):ALL(f):[Set(x)
> > > .
> > > & ALL(a):[a in x => f(a) in x]
> > > .
> > > & ALL(a):ALL(b):[a in x & b in x => [f(a)=f(b) => a=b]] (f is injective)
> > > .
> > > & EXIST(a):[a in x & ALL(b):[b in x => ~f(b)=a]] (f is not surjective)
> > > .
> > > => EXIST(n):EXIST(x0):[Set(n) & ALL(a):[a in n => a in x]
> > > .
> > > & x0 in n (PA1)
> > > .
> > > & ALL(a):[a in n => f(a) in n] (PA2)
> > > .
> > > & ALL(a):ALL(b):[a in n & b in n => [f(a)=f(b) => a=b]] (PA3)
> > > .
> > > & ALL(a):[a in n => ~f(a)=x0] (PA4)
> > > .
> > > & ALL(a):[Set(a) & ALL(b):[b in a => b in n] (PA5)
> > > => [x0 in a & ALL(b):[b in a => f(b) in a]
> > > => ALL(b):[b in n => b in a]]]]]
> > > .
> > > .
> > > FORMAL PROOF (only 104 lines)
> > > .
> > > https://dcproof.com/ConstructN.htm
> > > .
> > > .
> > > Dan
> > > .
> > > Download my DC Proof 2.0 freeware at http://www.dcproof.com
> > > Visit my Math Blog at http://www.dcproof.wordpress.com

See my reply just now to your identical posting at sci.logic

Dan

On Tuesday, June 28, 2022 at 8:30:24 AM UTC-4, Mostowski Collapse wrote:
> Thats not enough. Are there Dedekind infinite sets?
> Why do you say "roughly equivalent to AOI in ZF"?
>
> To the best of my knowledge AOI in ZF implies
....

Dan Christensen wrote:

> See my reply just now to your identical posting at sci.logic Dan

nothing. Kiss my ass. You don't undrestand tensors.

> On Tuesday, June 28, 2022 at 8:30:24 AM UTC-4, Mostowski Collapse wrote:
>> Thats not enough. Are there Dedekind infinite sets?
>> Why do you say "roughly equivalent to AOI in ZF"?