Люис Кэрролл в диалоге между Ахиллом и черепахой показал опасность бесконечного регресса в логическом доказательстве. В рассказе Ахилл догнал и уселся на черепаху, которая в свою очередь предложила ему другое бесконечное путешествие, но уже в области логики. Задача сводилась к доказательству следствия (Z) из (А) и (В): (А) Равные одному и тому же равны между собой. (В) Две стороны этого треугольника равны одному и тому же. (Z) Две стороны этого треугольника равны между собой. Задача кажется очевидной, но хитрая черепаха предложила Ахиллу сценарий, когда она соглашается с истинностью (А) и...