「再帰的定義」の版間の差分

削除された内容 追加された内容
Was a bee (会話 | 投稿記録)
m →‎概要: +cat
Was a bee (会話 | 投稿記録)
m →‎概要: typo
22行目:
* '''KNpNq''' は、'''K''' に '''Np''' と '''Nq''' が付属しており、'''Np''' は WFF であり、などなど。
 
{{DEFAULTSORT:さいきてきていき}}
[[Category:定義]]
[[Category:意味論]]