元数学是将数学作为人类意识和文化客体的科学思维和由此而来的知识。元数学起源于19世纪的数学危机,数学家试图回答一个异常重要和基本的问题:是否存在某些数学要素,在不同的数学系统中都是可证实或者可证伪的,是否存在一种数学,可以解释其...