В статье рассматриваются обоснованность аксиомы сводимости, метод её элиминации, предложенный Ф.П. Рамсеем, и онтологические основания этого метода. Анализируются «рамсифицированная» теория типов и трактовка принципа порочного круга при формулировке логических парадоксов.