Condensed Mathematics

By Xah Lee. Date: 2024-10-11.

2024-09-09

Condensed mathematics. Seems we still have lots rooms for the foundation of mathematics.