Logical Number Theory I