2020-10-01から1ヶ月間の記事一覧
(原始)帰納的述語 $P(x_1, \cdots, x_n)$は自然数上で定義された述語とする。${\cal D}$は関数の有限集合とする。 $P$は${\cal D}$-帰納的述語 $:\Leftrightarrow$ $P$の表現関数$\chi_P$は${\cal D}$-帰納的関数 ${\cal D} \equ \phi$の時は、$P$を帰納的述…
table.truth_table th{ border: solid 1px white; border-bottom: solid 4px white; padding: inherit; } article.my_article div.centering > table.truth_table td{ border:solid 1px white; margin: 2px; } --> 形式的体系とは、(形式主義の立場では)有限…