The name was coined by Raymond Smullyan in his 1978 work What Is the Name of This Book?
Raymond Smullyan 在他 1978 年出版的书 What is the Name of this Book?