Church's Theorem
No decision procedure exists for
Arithmetic
.
© 1996-9
Eric W. Weisstein
1999-05-26
