, exoteric wrote

Also, does SQL have to be based on sets to be sound? (Order Theory?)

It has to be based on SOMETHING provably true.  And it's not.