Рабочие записи

сделанные при чтении посмертной работы Дж. Эбрана "On the consistency of arithmetic".