"Let's talk about sets, baby!
Let's talk about U and V.
Let's talk about all the intersections
That may be...
We will begin as Euclid did by defining the undefined object, which we shall call object
. This allows its application to any topic of interest, as an object may be a physical object, like a location or coin, or it may be something abstract like a velocity or language.
We are also going to have to assume something we now call first-order logic