| 释义 |
arithmetization of formal system
形式系统算术化
A method of number representation of a formal system. The system components, including theorems, formulae, etc., are mapped into the set of natural numbers, and two different components are mapped into two different numbers. The theorems and rules of inference of the original formal system can be represented with corresponding arithmetic functions.
形式系统的一种数字表示方法。把系统中的各成分,包括公理、公式等映入自然数集,而 且两个不同的成分也映为两个不同的自然数。形式系统中原有的公理、推导规则等都能用 相应的算术函数表示出来。 |