Love of Logic [Science Tattoo]

Melissa writes,

I have a mathematical tattoo on my left forearm. It's in Frege's notation (from "Grundgesetze der Arithmetik"), which was one of the first modern logical notations. If it were written on a flat surface, it would start with the short vertical line, which is the assertion sign. What it asserts is: If {Cantor's theorem} then {heart}.

Cantor's Theorem says that the power set of any set is strictly larger than the set itself. (The power set of a set is the set of all its subsets....