
大小:48 MB
下载:342次
安信娱乐
- 支 持:Linux
- 分 类:冒险游戏
- 大 小:386 MB
- 版 本:4.4.2
- 评 分:
- 开发者:海拓科技软件科技有限公司
- 下载量:9924次
- 发 布:2025-02-23 01:40:50
扫码免费下载
#安信娱乐简介
波希战争以后,雅典成为希腊的霸主。雅典海军是希腊各城邦中最强大的军事力量,雅典的民主制也在伯里克利执政时期达到黄金时代。波希战争中,希腊各城邦建立了以雅典为首的提洛同盟,战后逐渐成为雅典实现霸权的工具。以斯巴达为首的伯罗奔尼撒同盟不满雅典霸权,双方多次爆发摩擦。前431年,斯巴达的同盟底比斯进攻雅典的同盟普拉提,正式引发了伯罗奔尼撒战争。雅典依靠强大的海军封锁,斯巴达则攻入雅典,试图迫其决战。双方互有胜负,但都未能取得决定性胜利,遂于前421年缔结和约。和平未能维持很久,前415年,雅典对西西里岛斯巴达的盟邦叙拉古发动大规模远征,结果以惨败告终。西西里远征使雅典元气大伤,无力抵御斯巴达的攻势。前405年,雅典海军全歼。次年,雅典向斯巴达投降,斯巴达成了希腊的新霸主。斯巴达的霸权也未能长久,希腊各城邦陷入混战之中。
例如罗素悖论,A=(R∈R),L=「朴素集合论」,E只有一个命题:R∈R⇔R∉R。背景命题为真是因为朴素集合论有一个概括公理:对任意性质P(x),存在集合S,使得对任意对象x,x∈S⇔P(x)成立。即存在集合S,它刚好包含所有具备性质P(x)的对象,而且只包含具备性质P(x)的对象。令P(x)=(x∉x),即x为不包含自己的集合,大多数集合都不包含自己,包含自己的集合很难想象,只是理论上不排除它的存在而已,则根据概括公理有:x∈R⇔x∉x。又因为R本身也是一个对象,令x=R,则得到背景命题R∈R⇔R∉R,背景命题为真因为它是推出来的。因为R∉R=¬(R∈R),所以背景命题就是悖论情形A⇔¬A。所以罗素悖论是朴素集合论的一个悖论。