Title: Logical Number Theory I