Okay guys, I've been consulting with ChatGPT. First Order Logic is incorrect. It relies on the Axiom of Extensionality: two sets are equal if they have the same elements. But this is not true, this only applies to unordered sets.