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