632.定义与计算的形式边界：可计算物理、常数测度与“公理跳跃”的限制=可计算物理+无理数测度-无限精度实数+计算物理极限