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