Basic theory of mathematics. In case you don't know what to talk about on a first date