Gödel's unpublished third incompleteness theorem: Women are formally undecidable.
That is the dorkiest joke ever... I love it.