As Ross Millikan says in the comments, Tupper's self-referential formula is a famous example.