%0 Journal Article %A Kentaro, Sato %A Walker, Jan %D 2023 %J Journal of Symbolic Logic %N 1 %P 22-73 %T Finitist Axiomatic Truth %V 88