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