Logic
Logic is not mathematics. It is a prerequisite to mathematics. [what is mathematics?] So any mathematical description of it, is nonsense. It looks like God created it, and since God does not exist, we got another reason for it to be nonsense. Here we are trying just to give some meaning to this syntactical garbage. Iff means if and only if, The same way, butt means but and only but. In logic, I cannot lie, and I like big butts. (cf. MixAlot)
my contribution: WTF theorem I'm not sure which day of the week I had proved it, Wednesday? Thursday? Friday? Hence the name.