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