%0 Journal Article
%T On the formalist account of an arbitrary first-order theory
%A Stephen Boyce
%J Mathematics
%D 2009
%I arXiv
%X This paper examines the metatheory of the formalist account of an arbitrary first-order theory. The paper considers whether the metatheory can be expressed (using Tarskian semantics) in a model of a first-order theory that, roughly speaking, contains a proper axiom (schema) corresponding to a set-theoretic axiom (schema) of subsets. The hypothesis is reduced to absurdity.
%U http://arxiv.org/abs/0912.2870v8