qp系统定义:由"q","p","-"这三个字符连接而成的字符串
系统中的公理:设x是只由"-"组成的字符串,则x-qxp-是qp系统中的公理。
系统中定理的形成规则:设x,y,z,是只由"-"组成的字符串,且xqypz是一条已知定理,则x-qypz-是一条定理。
注:公理可视为特殊的定理
该系统的所有定理和公理是否和算术表达式c=a+b,(a,b,c都是自然数)同构
系统中的公理:设x是只由"-"组成的字符串,则x-qxp-是qp系统中的公理。
系统中定理的形成规则:设x,y,z,是只由"-"组成的字符串,且xqypz是一条已知定理,则x-qypz-是一条定理。
注:公理可视为特殊的定理
该系统的所有定理和公理是否和算术表达式c=a+b,(a,b,c都是自然数)同构