• ·基数指派是使用序数的基数指派。对于良序集合 U,我们定义它的基数为等势(equinumerous)于 U 的最小序数。更加精确的, | U | = c a r d ( U ) = inf { α ∈ O N   |   α = c U } {\displaystyle |U|=\mathrm...
    3 KB (532 words) - 13:41, 8 November 2021
  • 对下标过敏”。但是在集合论的各种模型中,有“真实”基数的各种有价值的应用。 在现代集合论中,我们通常使用·基数指派,它使用序数的理论与选择公理和替代公理的全部能力。基数指派需要完全的选择公理,如果我们想要像样的基数算术和对所有集合的基數指派。 形式上,假定选择公理,一个集合 X 的势,是使得在...
    3 KB (590 words) - 13:42, 8 November 2021
  • X} 的基数自身经常被定义为有着 | a | = | X | {\displaystyle |a|=|X|} 的最小序数 a {\displaystyle a} 。这叫做·基数指派;为使这个定义有意义,必须证明所有集合都有同某个序数一样的势;这个陈述就是良序原理。然而即使不給集合的勢指派一個名字,討論集合之間相對的勢還是可以的。...
    14 KB (2,621 words) - 03:23, 31 August 2023
  • 與任何序數相像(·的方法),ω1是一個良序集合,以集合從屬性("∈")作為序的關係。ω1是一個极限序数,意即並不存在一個α使得α + 1 = ω1。 集合ω1的势,是第一個不可數基數——ℵ1阿列夫數1號。是故ω1乃是ℵ1的起始序數。而且,在大部份的構造中,ω1 與 ℵ1 是同一個集合(見·基数指派...
    3 KB (442 words) - 20:25, 20 April 2023
  • 康托尔悖论 (category 基数)
    为了陈述这个悖论必须理解容许排序的基数,因此你可以谈论一个事物大于或小于另一个。则康托尔悖论是: 定理:没有最大的基数。 这个事实上是康托尔定理的直接结论,該定理的內容是关于一个集合的幂集的势。 证明: 假定相反情况,并设 C 为最大基数。则(在·基数指派中)C 是一个集合因此有幂集 2C,通过康托尔定理,它有严格的大于...
    4 KB (600 words) - 23:13, 22 August 2023
  • 一个便可。但這樣所得的集合並不是一个序数,因为它在屬於關係下不是一個全序。 顯然,若要確保可以指派一個序數給任意的良序集合,也要用到替代公理。类似地,若要確保可以指派一個基數給任意集合(·基数指派),我們也需要替代公理,以及选择公理。 所有的可数的极限序数的構造也要求替代公理,就像 ω·2...
    10 KB (1,728 words) - 15:28, 4 February 2025
  • 如果我们使用·基数指派,所有无限基数也是极限序数(并且这是一个合适的观察,因为基数(cardinal)演化自拉丁语“cardo”,意味着转轴或转折点!):这个事实的证明可简单的通过旅馆无穷论证来证实所有无限后继序数等势(equinumerous)于极限序数来完成。 基数...
    4 KB (583 words) - 13:40, 8 November 2021
  • 在2003年,德莱恩成為當時的反對派領導人和基民盟主席安格拉·默克爾指派的小組的成員之一,以響應總理格哈德·施羅德的《2010議程》起草社會福利改革的其他建議。 所謂的赫爾佐格委員會,以其主席,德國前總統罗·赫尔佐克的名字命名,提出了全面的一攬子改革方案,其...
    42 KB (3,573 words) - 08:36, 24 June 2025
  • 势 (数学) (category 基数)
    但這樣得出的等價類事實上是真類而不是集合,因此一般不採用這種定義。 給每個等價類指定一個集合來代表它,將其定義為集合的勢。 最一般的選擇是·基數指派。它通常被取為公理集合論中基數的定義。 集合 S {\displaystyle S} 的勢通常標記為 | S | {\displaystyle |S|} 。其冪集的勢則通常標記為...
    6 KB (1,028 words) - 18:55, 26 June 2024
  • 在1951年的朝鲜战争期間,克林·伊斯威特被美国陆军徵召入伍,並且被指派到加利福尼亚州歐德堡(英语:Fort Ord),在此他擔任救生員的工作。同年,他在休假期間乘坐A-1攻擊機時,因為燃料用光而墜落在雷耶斯角附近的海上。他與飛行員兩人一同自沉沒的戰機裡逃出,並且游泳3英里(5公里)才安全獲救。 克林特·...
    21 KB (989 words) - 17:44, 21 June 2025
  • 上述定理假定了有限或可数无限的语言。更一般的勒文海姆–斯科伦定理做其他有关基数的假定。类似于这个经典定理的某些定理,断言更小的子模型的存在(“向下”勒文海姆–斯科伦定理);其他一些断言更大基数的模型的存在(“向上”勒文海姆–斯科伦定理)。 勒文海姆-斯科伦定理: 如果 Δ {\displaystyle...
    7 KB (1,254 words) - 01:31, 21 May 2024
  • 的工作,隨著在蘇聯利佩茨克近郊的秘密航空學校的關閉。1934年他被指派為第一所戰鬥飛行員學校的負責人。在1938年,格萊姆被任命為德國空軍研究機構負責人。之後,他被授予德國第132空軍聯隊紅男爵的指揮官,基地在德贝里茨,以弗雷德··里希特霍芬命名的聯隊。 當戰爭爆發,格萊姆被給予一航空隊的指揮官...
    12 KB (1,508 words) - 08:37, 22 November 2024
  • ·柏宁(Hubertus von Bonin)的带领下,队里的风气都转为让得到最多战果的驾驶员在任务中带领整支队伍,而不是以级别区分。 到达第七中队后,他遇见了两位对他影响很大的同事,指挥官爱德华·罗斯(Eduard "Paule" Rossmann)与指派给他的后勤师海因茨·莫尔滕斯(Heinz...
    48 KB (6,856 words) - 02:10, 23 June 2025
  • 阿道夫·希特勒 (category 本地相关图片与维基数据不同)
    負責會議記錄和資料準備。會議記錄提供了大屠殺最明確的證據。 1933年2月3日,與德軍領導階層會晤,希特勒提到:「將征服東方的『生存空間』並加之以無情的『德意志化』」,作為其終極的對外目標。1933年3月,主要論述由時任外交部次長伯恩哈德·威廉··比洛(德语:Bernhard...
    98 KB (11,845 words) - 07:31, 23 June 2025
  • 乔治·索尔蒂 (category 本地相关图片与维基数据相同)
    Solti,1912年10月21日—1997年9月5日),英籍匈裔犹太人指挥家。 索尔蒂生於布達佩斯,幼年学习钢琴,还于布达佩斯在贝拉·巴托克、多赫南·埃尔和柯达门下学习过音乐。1930年年代,他曾在匈牙利国家歌剧院当声乐教师。1935–37年間,他到萨尔斯堡在瓦尔特和托斯卡尼尼旁边当助手。索尔蒂19...
    6 KB (596 words) - 10:00, 9 September 2024
  • 库尔特·海因里希·德布斯 (category 本地相关图片与维基数据相同)
    布劳恩指派德布斯负责一个新的导弹试验部门,在后续一系列的测试中,德布斯的部门曾在太平洋地区发射了美国首枚携带原子弹的导弹。 从1952年始,德布斯负责监督为红石导弹、PGM-19朱庇特弹道导弹、木星-C探空火箭、朱...
    13 KB (1,344 words) - 19:41, 14 June 2025
  • 拿破仑一世 (category 维基数据有相关图片而本地未添加)
    率軍越過比利牛斯山與西班牙合兵後,於11月30日進入里斯本。葡萄牙王室流亡巴西後,法國的盟國西班牙陷入了政治危機,國王卡洛斯四世與其子费尔南多相互爭鬥,拿破崙開始掌控西班牙的政局。1808年3月17日阿蘭胡埃斯爆發起義,卡洛斯四世與其首相努埃爾·戈多...
    232 KB (36,859 words) - 15:27, 16 June 2025
  • 玩命關頭:特別行動 (category 車比背景電影)
    特昂」組織的一位直升機飛行員,納森·瓊斯(英语:Nathan Jones (wrestler))則客串演出一名俄羅斯戰鬥機飛行員。位在片中亮相的「特昂」總管由雷斯聲演(該職位原由基努·李維擔任),雷斯對此化名為「查普·南丁格」(Champ Nightingale)。 2015年11月,...
    30 KB (2,894 words) - 15:14, 16 February 2025
  • 亚历山大·苏沃洛夫 (category 本地相关图片与维基数据不同)
    軍隊。1783年他晉升為步兵上將,在接下來的俄土戰爭中贏得金伯恩、奧恰基夫、福克沙尼、勒姆尼克、茲梅爾等戰。1794年他率軍鎮壓波蘭柯斯丘什科起義,在普拉加戰役後迫使華沙投降。第二次反法同盟期間,他被封為陸軍元帥和奧俄聯軍總司令,在贏得卡薩、特雷比亞、...
    17 KB (2,520 words) - 16:15, 16 February 2025
  • 萊因哈德·海德里希 (category 维基数据有相关图片而本地未添加)
    土)副总督,对其领土进行直接管辖。康斯坦丁··拉特仍旧为名义上的总督,但希特勒、希姆莱和海德里希认为其管制手段过于温和,导致反德情绪的盛行、促成反德罢工和破坏活动的进展,因此送其前去“休假”。新上任的海德里希对其助手说:“我们将把这群捷克害虫給日耳化」。...
    73 KB (9,530 words) - 07:36, 25 May 2025
  • 弗朗茲·哈爾德 (category 本地相关图片与维基数据相同)
    该书由哈尔德和前陆军元帅瓦尔特··布劳希奇、埃里希··斯坦以及其他高级军事人物共同撰写。 它旨在将德国武装部队描绘成非政治性的,并且对纳粹政权所犯下的罪行基本上是无辜的。备忘录中概述的策略后来被国防军高级指挥官高级指挥审判的首席辩护律师汉斯·拉特恩瑟采纳。该文件是根据美国将军威廉·唐...
    20 KB (3,002 words) - 01:56, 19 April 2025
  • 埃尔温·隆美尔 (category 本地相关图片与维基数据不同)
    娜(Helene)則為巴登-符騰堡邦地方行政首長卡爾··盧茨(德语:Karl von Luz)的女兒。父母兩人皆為新教徒。隆美爾有位兄長弗雷德(Manfred)、姊海倫娜(Helene)和弟格哈德(Gerhard)與卡爾(Karl),其中弗雷德在年幼時即去世。隆美爾童年時體質羸弱,據其姊海倫...
    187 KB (28,945 words) - 04:09, 25 May 2025
  • 穆阿迈尔·卡扎菲 (category 本地相关图片与维基数据不同)
    ,卡扎菲的许多政敌在英国被谋杀。1984年4月17日,经卡扎菲亲自下令,利比亚驻伦敦使馆公然用机枪向和平示威的群众扫射并当众枪杀年仅25岁的英国女警·弗莱切尔,导致使馆被围11天,两国断交15年,首相撒切尔夫人同意美国使用英国基地空袭利比亚。 卡扎菲曾因被指公開支持恐怖主義而被時任美國總統雷根批評為「瘋狗」(Mad...
    64 KB (6,498 words) - 14:04, 5 May 2025
  • 7月20日密谋案 (category 维基共享资源分类链接由维基数据提供)
    希特勒已經死亡的史陶芬堡立即跳上其副官維爾納··哈夫滕事前準備好的工作人員用車快速離開「狼穴」,他們很快便通過第一個檢查哨的值班門衛阻攔和盤查,但是也察覺到在前往機場的警戒等級逐漸提升。到了第二個檢查哨時兩人便遭到攔阻,之後史陶芬堡假借有重要軍官指派要事並且要立刻前往該處,要求值班哨兵開放屏障讓...
    150 KB (20,189 words) - 01:14, 17 May 2025
  • 動物方城市 (category 迈克尔·吉亚奇配乐电影)
    迪士尼影業負責發行,也是第55部迪士尼經典動畫長片。該片由拜倫·霍華德、里奇·摩尔和傑瑞·布希聯合執導,主要的配音員包括吉妮佛·古德溫、詹森·貝特卓瑞斯·艾巴、珍妮·斯蕾特、內特·托倫斯、寶妮·杭特、唐·雷克(英语:Don Lake)、湯米·鐘(英语:Tommy...
    155 KB (15,585 words) - 20:04, 22 May 2025
  • 威廉·布格多夫 (category 本地相关图片与维基数据不同)
    新成立的威瑪國家防衛軍中,並於1930年晉升為上尉。1935年,布格多夫以少校軍階出任德勒斯登軍事學院的教官,主要教授作戰戰術;隨後於1937年又被指派為第9兵團參謀部副官。1938年,布格多夫升任中校,並於1940年5月至1942年4月間擔任第529步兵團團長,隨後於次月出任陸軍人事部(英语:Army...
    17 KB (1,840 words) - 13:08, 1 February 2025
  • 蘇哈托 (category 维基数据有相关图片而本地未添加)
    務,擔任陸軍後備總部(後改名「武警部隊和戰略儲備」)的指揮官,指揮陸軍新升任的將軍。此外,在1961年10月,他也被指派領導陸軍防空司令部 1962年1月9日,蘇哈托晉升少將,指揮達拉司令部,陸海空三軍共約42,000兵力,並打贏在荷屬新幾內亞的戰鬥。原先荷蘭企圖違反1949年荷印圓桌會議(英语:Dutch-Indonesian...
    69 KB (8,208 words) - 20:31, 19 June 2025
  • 莎贝尔·阿佳妮饰演露西·哈克(Lucy Harker),布鲁·冈茨饰演乔纳森·哈克(Jonathan Harker),法国艺术作家罗兰·托普饰演伦菲尔德(Renfield)。电影有英语和德语两个版本。 这部电影是他和演员金斯基的五次合作中的第二次,紧随其后的下一次合作是1979年的《沃采克(英语:Woyzeck...
    24 KB (2,885 words) - 09:14, 12 May 2025
  • 約翰內斯·弗里德里希·利奧波德··塞克特(德語:Johannes Friedrich Leopold von Seeckt,1866年4月22日—1936年12月27日),通稱漢斯··塞克特(Hans von Seeckt),是一位德國陸軍將領,最高軍階為大將,以擔任威瑪共和國軍隊——「防衛軍...
    74 KB (11,324 words) - 07:44, 28 May 2025
  • 1925年10月19日,蔣經國告別上海,乘搭貨輪前往莫斯科。同船上有玉祥女兒弗能。在海參崴上岸後,改搭普通列車轉往莫斯科。11月底,蔣經國抵達莫斯科。12月,蔣經國進入莫斯科中山大學就讀,並取俄文姓名「尼古拉·维拉迪米洛维奇·利扎洛夫」(俄语:Николай Владимирович Елизаров,羅馬化:Nikolai...
    184 KB (20,876 words) - 15:24, 19 June 2025
  • 车臣共和国 (category 奇克里亞車臣共和國爭議地區)
    配财产条约》。根据这个条约,俄罗斯聯邦一切行政機構全部撤出車臣。 1992年12月10日印古什共和国与车臣共和国分开。 1994年,俄罗斯总统叶利钦指派俄军大举进攻车臣,即为第一次车臣战争。这是一场造成超过十万人死亡的战争惨剧。之后,双方的冲突不但一直没有平息,还让车臣的伊斯兰原教旨主义分子得势。结果针对莫斯科的恐怖襲击不断发生。...
    19 KB (1,851 words) - 13:29, 13 May 2025