数学文化中法理逻辑的构造