idealized Boolean and Peano Arithmetic