bn:01217196n
Noun Concept
Categories: 数学のエポニム, 数学に関する記事, 数理論理学
JA
ロッサーのからくり
JA
数理論理学において、ロッサーのからくり とは考慮中の理論のω無矛盾性を仮定することなしにゲーデルの不完全性定理を証明する手法である Wikipedia
Definitions
Relations
Sources
JA
数理論理学において、ロッサーのからくり とは考慮中の理論のω無矛盾性を仮定することなしにゲーデルの不完全性定理を証明する手法である Wikipedia
IS A