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 ahsoftw...@gmail.com _______________________________________________ use-livecode mailing list use-livecode@lists.runrev.com Please visit this url to subscribe, unsubscribe and manage your subscription preferences: http://lists.runrev.com/mailman/listinfo/use-livecode