「公理的集合論」を含むwiki一覧 - 1ページ

公理的集合論とはなんですか? - クイズwiki

A. 公理的集合論とは、数学的な理論を証明するために使用される基本的な仮定や前提を、数学的に厳密な方法で定義する数学の一分野です。これにより、数学的な理論が数学的に厳密な方法で証明され、数学的な理論が数学的に厳密な方法で表現されます。参考URL:https://ja.wikipe

数学的構成主義 - アニヲタWiki(仮) 非公式避難所wiki

込み、この型の違いによって矛盾を排除しようとしたタイプ理論。2つ目が、厳密に集合というものを定義し矛盾を排除しようと試み、最も多数派であった公理的集合論。3つ目が最も少数派で、最も哲学的で、「構成主義者が2人揃えば構成主義は崩壊する」とまで言われた数学的構成主義である。この数学的

嘘つきのパラドックス - アニヲタWiki(仮) 非公式避難所wiki

を要するので最低の階層でない。つまり矛盾しておりそんなものになる文(自己言及文)を階層0においてはいけない。胡散臭いことこの上ないがこれから公理的集合論や不完全性定理につながっていったりして重要なのである。追記・修正をしてくれる人は追記も修正もしてはいけませんが、追記・修正をしよ

  • 1