FINITIST AXIOMATIC TRUTH

Kentaro, S; Walker, J

Kentaro, S (通讯作者),Univ Bern, Inst Comp Sci, Bern, Switzerland.;Kentaro, S (通讯作者),Univ Geneva, Dept Philosophy, Geneva, Switzerland.

JOURNAL OF SYMBOLIC LOGIC, 2023; 88 (1): 22

Abstract

Following the finitist's rejection of the complete totality of the natural numbers, a finitist language allows only propositional connectives and boun......

Full Text Link