有限公理化可能な理論
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/02 03:10 UTC 版)
ZFCで証明できる定理は全てフォン・ノイマン=ベルナイス=ゲーデル集合論(英語版)(NBG)でも証明できるが、大変驚くべきことに、後者は有限公理化されている。新基礎集合論(NF)は有限公理化可能だが、その場合はエレガントさが幾分か失われる。
※この「有限公理化可能な理論」の解説は、「公理型」の解説の一部です。
「有限公理化可能な理論」を含む「公理型」の記事については、「公理型」の概要を参照ください。
- 有限公理化可能な理論のページへのリンク