Bounded arithmetic sentence
= Bounded arithmetic sentence
A <bounded arithmetic sentence> is an <arithmetic bounded formula> with no <free variables>. Every <quantifier> is restricted by an <arithmetic> <first-order term>. In the standard <natural numbers> such a <first-order sentence> has a definite <truth value> determined by finite bounded searches.