Notation	Description
$\mathsf{P}{\mathsf{A}}^{-}$	𝗣𝗔⁻	Finitely axiomatized fragment of $\mathsf{PA}$
${\mathsf{I}}_{\mathsf{open}}$	𝗜𝗢𝗽𝗲𝗻	${\mathsf{PA}}^{-}$ + Induction of open formula
$\mathsf{I}{\Sigma }_0$	𝗜𝚺₀	${\mathsf{PA}}^{-}$ + Induction of ${\Sigma }_0$ formula	Theory $\mathsf{I}{\Sigma }_0$
$\mathsf{I}{\Sigma }_0+{\mathsf{\Omega }}_1$	𝗜𝚺₀ + Ω₁	$\mathsf{I}{\Sigma }_0$ + ${\Omega }_1$-axiom
$\mathsf{EA}$	𝐄𝐀	Elementary arithmetic
$\mathsf{I}{\Sigma }_1$	𝗜𝚺₁	${\mathsf{PA}}^{-}$ + Induction of ${\Sigma }_1$ formula	Theory $\mathsf{I}{\Sigma }_1$
$\mathsf{PA}$	𝗣𝗔	Peano arithmetic