Similar to デデキント数
立方数
Cube numberリュカ数
Lucas numberリュカ数列
Lucas sequenceリュカ–レーマー・テストの証明
累乗数
Perfect powerルース=アーロン・ペア
Ruth–Aaron pairレイランド数
Leyland numberレイリーの定理
レピュニット
Repunit六角数
Hexagonal number六乗数
Sixth power六芒星数
Star number六角錐数
Hexagonal pyramidal numberランダウの4の問題
Landau's problems数理論理学
Mathematical logic一階述語論理
First-order logic一般と特殊 (数学)
Special case意味論 (論理学)
宇宙 (数学)
Universe (mathematics)エルブランの定理
Herbrand's theorem型理論
Type theoryカット除去定理
Cut-elimination theorem関係 (数学)
Finitary relation関係代数 (数学)
Relation algebra関係の合成
Composition of relations完全関係
Connected relation完全性
Completeness (logic)カントールの往復論法
Back-and-forth method