>Можно положить на стол элементарный топос?

Эффективный топос можно положить на стол в виде
распечатки программы, реализующей его операции.

>В конструктивной математике используется только то, что можно положить на стол.

Для этого сначала надо определить, что такое
объект, который можно положить на стол.

(Reply to this) (Parent)