R. Gregory Taylor Zermelo's Cantorian theory of systems of infinitely long propositions. 478-515 2002 8 Bulletin of Symbolic Logic 3 http://www.math.ucla.edu/~asl/bsl/0804/0804-002.ps db/journals/bsl/bsl8.html#Taylor02