I was reading a note from guardian.uk called What lurks beneath a scientist's lab coat?, a little gallery of geeky-tattoos.
However, number 11 in the series has the following image and caption text:
'From these nine axioms,' writes Turing Eret, a software designer in Colarado, 'one can derive all of mathematics – a field you can likely tell that I love dearly'
Is that really so? Are those the nine axioms? (I guess it means the ZF axioms) If so, how are they expressed like that? (Last question meaning: how does that expression imply the nine axioms?)
I tried to search it around but searching formulas is really hard. Also, Google and TinEye image search wouldn't produce anything relevant.
I really suck at math but I love it, so forgive me if I'm asking something stupid.