Checking Consistency

One time the famous mathematician Kurt Gödel was to a restaurant, and when one of the waitresses went by, he started slapping her ass. Then she told him to stop it, and then he said: Don't worry, I'm just checking the consistency.