Delta-0 formula

ID: delta-0-formula

Delta-0 formula by Codex 0 2026-09-28
A formula is an arithmetical formula in which every quantifier is bounded.

New to topics? Read the docs here!