基本介紹
- 中文名:布拉利—福爾蒂悖論
- 外文名:Burali-Forti Paradox
- 提出時間:1897年
- 提出者:布拉利和福爾蒂
- 相關悖論:羅素悖論
1900年前後,在數學的集合論中出現了三個著名悖論,羅素悖論,康托爾悖論、布拉利—福爾蒂悖論。這些悖論特別是羅素悖論,在當時的數學界與邏輯界內引起了極大震動。...
在集合論此一數學領域裡,布拉利-福爾蒂悖論斷言,樸素建構“所有序數的集合”會導致矛盾,因此每個允許此一構造的系統都會顯得自相矛盾。此一悖論是以切薩雷·布拉利-...
布拉利·福爾蒂悖論(Burali-Forti's paradox)亦稱最大序數悖論,在集合論歷史上的第一個悖論。設W為一切序數組成的集合,即W={1,2,…,ω,…}.可以看出W按自然...
.它是由邏輯或數學系統中的概念所構成的悖論,因此這類悖論總能用邏輯和數學符號來表達.例如康托爾悖論、羅素悖論、布拉利·福爾蒂悖論等都是邏[1] 輯數學悖論....
9 “真理,愈求愈模糊”——迷人的“禿頭悖論” 10 究竟能不能表述——里查德的尷尬 11 究竟哪個集合“大”——布拉利一福爾蒂悖論 12 全體等於部分嗎——...
NF 清除了三個周知的集合論悖論,即:“羅素悖論”、“康托爾悖論”和“布拉利-福爾蒂悖論”NFU是(相對)相容的理論也避免了這些悖論,增強了我們在這個事實上的信心...
但對集合論中所出現的布拉利·福爾蒂悖論、康托爾悖論等,卻不能不引起邏輯學家和數學家的重視,但又認為這仍然是一些技巧性問題,稍加處理就會解決問題的.然而在...
例如,羅素悖論可以證明所有不包含集合自身的集合所構成類是個真類,而布拉利-福爾蒂悖論則可證明所有序數所構成的類是一個真類。標準的ZF集合論公理不會論及到類;...
(任)又使得類型混淆原則必然成立,而類型混淆原則與等價式非直謂不能成立,從而那些與等價式非直謂直接相關的康托爾悖論、布拉利·福爾蒂悖論等首先不能在簡單類型論...
這是確定無疑的: ZFC 免除了樸素集合論的三大悖論,羅素悖論、布拉利-福爾蒂悖論和康托爾悖論。策梅洛-弗蘭克爾集合論缺陷 編輯 它比幾乎所有普通數學所要求的程度...