Logic and Number Systems