Чеширский кот — персонаж, материализующий английское выражение «Улыбается, как чеширский кот». Его знаменитая улыбка, существующая сама по себе, обязана характерному для всего произведения Кэрролла софизму («если существуют коты без улыбки, то может существовать и улыбка без кота»),
когда за квазилогичным словесным построением открывается явно абсурдный смысл. Комментаторы видят в выражении «улыбка без кота» наглядно-образное описание чистой математики, где теоремы, могущие быть приложенными к описанию внешнего мира, на самом деле являются чистыми абстракциями.