"G'day" is a typical Aussie-ism by way of greeting.

I will shortly turn 70, was told in secondary school that I had "a good head" for mathematics, but, as it turned out, not much good at remembering formulae or procedures. At this 'later' stage in my life I find a need to explore issues that I lack the formal mathematical training to accomplish. I would like to achieve some sort of functional facility in Set Theory … and eventually, its application in Logic.

… Yeh, I know, … don't want much do I. Let's start with … how best to use MHF to this end?