利用者:Tkcom/加筆･作成したい数学の項目

加筆したい項目

• 宇宙 (数学)(en:Universe (mathematics))
• [[ ]](en:)

• 基数(en:Cardinal number)

/基数

• 濃度 (数学)(en:Cardinality)
• 順序数(en:Ordinal number)
• コーシー列#実数の構成
• 実数#デデキント切断による構成
• ユークリッド幾何学

(en:Euclidean geometry)

• 超準解析

(en:Non-standard analysis )

• リュカ数

(en:Lucas number)

• リュカ数列

(en:Lucas sequence)

• フィボナッチ数

(en:Fibonacci number)

• 公理的集合論

(en:Zermelo–Fraenkel set theory)

• 集合論(en:Set theory)
• 数学基礎論

(en:Foundations of mathematics)

• 数理論理学

(en:Mathematical logic)

• 開集合(en:Open set)
• 閉集合(en:Closed set)
• 直線(en:Line (geometry))
• 単位区間(en:Unit interval)
• 有限集合(en:Finite set)

有限はどうなるの？

• 無限集合(en:Infinite set)
• 健全性 (en:Soundness)
• ラッセルのパラドックス(en:Russell's paradox)
• 表現論(en:Representation theory)
• 外延(en:Extensionality)

en:Extensional definition

en:Extension (semantics)

• 内包(en:Intension)

en:Intensional definition

en:Intensional logic

en:Intensional statement

• 無限小(en:Infinitesimal)
• 小数(en:Decimal)
  • 1 小数の
    
  • 2 十進法の
    
• ブール代数

(en:Boolean algebra)

(en:Boolean algebra (structure))

• 新基礎集合論(en:New Foundations)
• 反復関数系(en:Iterated function system)
• 超有限主義(en:Ultrafinitism)
• [[ ]](en:)
• [[ ]](en:)

新規作成したい項目

• デデキント･マクニール完備

(en:Dedekind–MacNeille completion)

/デデキント･マクニール完備

• カントールの定理

(en:Cantor's theorem)

• カントールの理論をめぐる論争

(en:Controversy over Cantor's theory)

/カントールの理論をめぐる論争

• 絶対無限(en:Absolute Infinite)
• 超限数(en:Transfinite number)

• 可算選択公理(en:Axiom of countable choice)

/可算選択公理

• 極限基数(en:Limit cardinal)
• 独立性 (数理論理学)(en:Independence (mathematical logic))

/独立性 (数理論理学)

• 文 (数理論理学)(en:Sentence (mathematical logic))
• 理論 (数理論理学)(en:Theory (mathematical logic))
• フォン・ノイマンの基数課題(en:Von Neumann cardinal assignment)
• 基数課題(en:cardinal assignment)
• 同数(en:Equinumerosity)
• 構造 (数理論理学)(en:Structure (mathematical logic))
• ヒルベルト流の体系(en:Hilbert system)

• 超フィルター

/超フィルター

(en:Ultrafilter ) フィルター

• 超積(en:Ultraproduct)

/超積

• 標準部分関数(en:Standard part function)

/標準部分関数

• 超準解析における微積分

(en:Non-standard calculus )

• 超現実数(en:Surreal number)

/超現実数

• 超整数(en:Hyperinteger)

• 上限性質(en:Least-upper-bound property)

• /上限性質

• 実数の構成

(en:Construction of the real numbers)

• デデキント完備

(en:Dedekind completeness)

• 非可算集合(en:Uncountable set)

/非可算集合

• Template:数 (en:Template:Number systems)
• Template:数論(en:Template:Number theory-footer)
• [[ ]](en:Template:Infinitesimal navbox)
• 区間縮小法の原理(en:Nested intervals)
• en:Decimal representation
• en:Decimal (disambiguation)
• トリコノミー(Trichotomy)
• 全有界(en:Precompact set)
• 順序理論(en:Order theory)
• 順序理論の話題一覧

(en:List of order theory topics)

• 全順序(en:Total order)
• 素朴集合論又は集合論

/素朴集合論

(en:Naive set theory)

• 順序位相(en:Order topology)
• 分離された集合(en:Separated sets)
• 代数関数 (en:Algebraic function)
• 超越関数 (en:Transcendental function)
• 超有限集合(en:Hyperfinite set)
• [[ ]](en:Real closed field)
• 定義可能集合(en:Definable set)
• [[ ]](en:Differential (mathematics))
• [[ ]](en:Differential (infinitesimal))
• [[ ]](en:Kakeya set)
• ヒルベルトの基底定理(en:Hilbert's basis theorem)
• ブール代数の素イデアル定理(en:Boolean prime ideal theorem)

ブール代数

(en:Boolean algebra)

(en:Boolean algebra (structure))

• イデアル (順序理論)(en:Ideal (order theory))

/イデアル (順序理論)

• バナッハの不動点定理(en:Banach fixed-point theorem)
• 普遍代数(en:Universal algebra)
• シグナチャ(en:Signature (logic))
• [[ ]](en:)
• [[ ]](en:)
• [[ ]](en:)
• [[ ]](en:)
• [[ ]](en:)