siriusmart comments on the linux file system satisfies the zf axioms

submitted 1 year ago by siriusmart@lemmy.world to c/mathmemes@lemmy.blahaj.zone

you are viewing a single comment's thread
view the rest of the comments

[–] siriusmart@lemmy.world [S] 2 points 11 months ago (2 children)

oh 8 is the axiom of infinity, 4 is the pair set axiom

parent

[–] ns1@feddit.uk 1 point 11 months ago (1 child)

Ah that makes sense thanks. It's cool how symlinks can give a kind of infinity.

Is this OC? I didn't realise at first, it's a fun idea well researched.

parent

[–] siriusmart@lemmy.world [S] 2 points 11 months ago

yeah its OC

parent