Hatto von Aquitanien wrote: > Gene Ward Smith wrote: > > >>Stephen Montgomery-Smith wrote: >> >> >>>Yes. I wish I knew what this "angels on a pinhead" argument was really >>>about. I know that us moderns like to laugh at the old theologians for >>>discussing this, but I wonder if I am only getting half the story, and >>>in fact there are some very real issues at stake here. >> >>This might help: >> >>http://www.newadvent.org/summa/105203.htm > > > So, is the number immediately adjacent to and greater than pi rational, > transcendental or irrational algebraic?
(for all x) ((x>pi and not (exist y)(pi<y<x)) => ((x rational) and (x irrational algebraic) and (x transcendental)))