Is this formula really the nine axioms?

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.

-
No. Those are not the axioms ZF set theory. (To be precise there are infinitely many ZF set theory "axioms". The "nine" axioms actually include a few axiom schema). The picture is that of some statement of lambda-calculus. – Bill Cook Jan 11 '12 at 1:02
@BillCook Thanks! Took me a while to understand the statement about ZF schematic but re-reading some references, it made sense to me. – Alpha Jan 11 '12 at 1:12
those were some interesting tatoos. I wonder if any of the other tatoos are as inaccurately labeled as the one you posted above. If so, I'd skip buying the book. :) – Bill Cook Jan 11 '12 at 1:15
It looks like they just misplaced the caption. Here is an arm (same person?) with ZF (or is it ZFC?) written on it: jux.com/gallery/34661. Google for "carl zimmer" "nine axioms", it is the first link. – Dan Brumleve Jan 11 '12 at 5:54
Main page of the other gallery of the same work: scienceink.jux.com. Unfortunately it doesn't feature the Y combinator image so who knows what he has to say about it (buy the book?). – Dan Brumleve Jan 11 '12 at 6:01