I've written more CRUD apps than I care to remember, and I have no idea what a Cartesian product is.

The fact is we might use things that have formal definitions without knowing what the definition is, or understanding the theory behind it, or being able to derive it from first principles. That's very definition of not knowing maths and still being able to write software.