>SQL is pretty much Zermelo-Fraenkel on steroids. I didn't know SQL allows for infinite sets. In fact, most commonly used subset of SQL is non-Turing complete

>SQL is pretty much Zermelo-Fraenkel on steroids. I didn't know SQL allows for infinite sets. In fact, most commonly used subset of SQL is non-Turing complete and decidable, while ZF is not decidable.