プリンキピア・マテマティカ
何人かの哲学者がこのキャロルのパラドックスを解決しようとしてきた。バートランド・ラッセルは「プリンキピア・マテマティカ」(1903年)で簡単な議論をしている。それによれば、自明ではない命題間の関係である含意 implication （「pならばqである」という形式による結びつき)と、自明である命題間の関係である推論 inference （「pであるゆえにqである」という形式による結びつき)を区別すべきだという。この違いを明確にすることでラッセルは、AとBが等しいことからZだという"含意" によって論じようとする、あるいは仮言的な「AとBが正しいならば、Zは正しい」ということへの合意へと議論を依存させようとする亀の試みを否定できるとしている。