Date: Mar 2, 2013 6:12 PM
Author: Graham Cooper
Subject: An oo List Of REALS in ZFC

R1 = { (1,3) , (2,1) , (3,4) , (4,1) , (5,5) ... }

R1 = 0.31415...


---------------------------

LIST = {
(1,  { (1,3) , (2,1) , (3,4) , (4,1) , (5,5) ... } ) ,
(2,  { (1,1) , (2,4) , (3,1) , (4,4) , (4,2) ... } ) ,
...
}

---------------------------

LIST =
0.31415...
0.14142...
...


(a,b) is shorthand for an ordered pair!

Herc
--
www.BLoCKPROLOG.com