The classical and ω-complete arithmetic