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