Similar to 恒真式
並列 (文法)
Parataxis
補語
本を表紙で判断するな
Don't judge a book by its cover
未来
Future
無生物主語構文
命令法
Imperative mood
目的語
Object (grammar)
モダリティ
Modality (semantics)モンタギュー文法
Montague grammar
枠構造
話法
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
緩成長階層
Slow-growing hierarchy
逆
Converse (logic)
逆含意
Converse implication
形式論理学
Formal logic
シュタイニッツ数
Supernatural number
ショアのアルゴリズム
Shor's algorithm
証明 (数学)
Mathematical proof
新基礎集合論
New Foundations
スーダン関数
Sudan function
ダウンタック記号
Tee (symbol)
チャーチ・ロッサーの定理
Church–Rosser theorem
低基底定理
Low basis theorem
ディック言語
Dyck language二重再帰法
Double recursion
二重否定の除去