Yes, that's exactly the point... "But they didn't have any kind of mathematical foundation until the 1960's, when Robinson found a way to coherently axiomitize

Yes, that's exactly the point... "But they didn't have any kind of mathematical foundation until the 1960's, when Robinson found a way to coherently axiomitize them."