Integer Classification In Logic