The one that’s most obviously wrong is no. 4, which I think is meant to be the axiom of infinity, as this would imply every filesystem has a folder with an unlimited number of files. Probably several others have issues as well.
But maybe you can get around it if you imagine an idealised infinite linux filesystem rather than an actual real example!
The one that’s most obviously wrong is no. 4, which I think is meant to be the axiom of infinity, as this would imply every filesystem has a folder with an unlimited number of files. Probably several others have issues as well.
But maybe you can get around it if you imagine an idealised infinite linux filesystem rather than an actual real example!
oh 8 is the axiom of infinity, 4 is the pair set axiom
5 is bogus, too. You can’t create a folder by copying files into a[n already existing?] directory.
i was trying to say this command
would create the union folder
Oh. Your original 5th axiom didn’t mention unions.