631.从无理数测度到定义的边界：曲率、形式系统与“公理跳跃”的深层联系=无理数测度+定义复杂度-经典连续统+形式系统公理