there are not many logician-comedians: "Kleeneliness is next to Gödeliness"