 Bounded completeness of an arithmetic theory

An arithmetic theory is bounded-complete if it proves every true closed formula with only bounded quantifiers. It then proves every true Sigma-1 sentence by choosing a standard witness. If it is also consistent, it cannot prove a false Pi-1 sentence: a standard bounded counterexample supplies a provable contradiction to that universal theorem. This arithmetic condition is distinct from bounded completeness of a statistical model or family.