対角線上の議論
数学において、対角線
論法は
証明に用いられる技法です。以下の定理は代表的な例です。
カントールの対角線論法
(最古)
カントールの定理
ラッセルのパラドックス
対角線の補題
ゲーデルの第一不完全性定理
タルスキーの定義不可能性定理
停止問題
クリーネの再帰定理
参照
対角化(曖昧さ回避)
この
曖昧さ回避
ページは、同じタイトルに関連する数学の記事を一覧表示しています。
内部リンク
からこのページに移動した場合は、リンクを適切な記事に直接変更することをお勧めします。
カテゴリー
:
数学の曖昧さ回避ページ
非表示のカテゴリ:
短い説明はWikidataと異なります
すべての記事の曖昧さ回避ページ
すべての曖昧さ回避ページ