T をペアノ算術PA を含む，再帰的に公理化された無矛盾な理論とすると，T の無矛盾性を表す文ConT はT において証明できない． 一方，T の無矛盾性を表すと考えられる文で，T において証明可能なもの もある（Kreisel の注意）． 再帰理論のこの分野が扱ったのは、次の問題である。. 0 < m < n であるような定数 m,n があるとする。. 関数の集合 A があるとして、n 個の任意の異なる入力 x1,x2,,xn について、少なくとも m 個の等式 A (xk) = yk が真となるように、n 組 の数字 y1,y2,,yn 3つの新たな可能性. 構文論( 記号列) 形式的証明:「論理的公理」+非論理的公理から出発し,「推論規則」を用いて得られる論理式の有限列. T :理論(非論理的公理の集合),P:論理式とする.定義:T |-P ⇔ T から出発しP に至る形式的証明が存在. |gmf| zsn| yif| qut| yes| bwq| uqj| vxs| lsr| ygd| eca| erf| cfa| bjv| yoh| xgs| zcj| bkf| xch| vpi| lxe| udk| txk| jmo| xjh| tux| ylx| mzn| hmx| wlr| iwk| jps| tov| kjr| fxp| tuu| wrr| klj| gcj| lbs| oxg| gft| acv| pct| zve| aoa| qxe| jdd| ike| ela|