A note to fans of mathematical logic, and you know who you are: check out the story in today's NYT…