On 7/29/20 12:17 PM, Dr. Hawkins via use-livecode wrote: > Bah, > > 2> floating point infinity (which is 1) Outside of the axiom of choice (or actually even with it) that's not something provable. OTOH, Kant's proofs of aleph null and aleph one are brilliant. -- Mark Wieder ahsoftware at gmail.com