Lactose intolerance

Somebody once asked me to demonstrate a first-order sentence that is not true in any recursive model. When I offered "Px & ~Px" they got angry and stormed away.