Wright's First-Order Logic of Strict Finitism

Takahiro Yamada

A classical reconstruction of Wright's first-order logic of strict finitism is presented. Strict finitism is a constructive standpoint of mathematics that is more restrictive than…