Таким чином, можна визначити висловлювання першого типу, які нічого не говорять про висловлювання. Потім можна визначити висловлювання другого типу, які говорять про висловлювання першого типу, і так далі. Висловлювання ж «це висловлювання хибне» не підпадає ні під одне з цих визначень, і таким чином не має сенсу.