Return to Article Details A Background Associated With Relationships Between Logic and Number Theory