Все объекты, доступные человеческому разуму или исследованию, по природе своей могут быть разделены на два вида, а именно: на отношения между идеями и факты. К первому виду относятся такие науки, как геометрия, алгебра и арифметика, и вообще всякое суждение, достоверность которого или интуитивна, или демонстративна. Суждение, что квадрат гипотенузы равен сумме квадратов двух других сторон, выражает отношение между указанными фигурами; в суждении трижды пять равно половине тридцати выражается отношение между данными числами. К такого рода суждениям можно прийти благодаря одной только мыслительной деятельности, независимо от того, что существует где бы то ни было во вселенной. Пусть в природе никогда бы не существовало ни одного круга или треугольника, и все-таки истины, доказанные Евклидом, навсегда сохранили бы свою достоверность и очевидность.