大小限制公理

相关

• 道义逻辑道义逻辑是一种非标准的模态逻辑。它研究“应当”、“可以”或 “许可”、“禁止” 这样一些道义概念的逻辑。应该（obligate）p：Op允许（permit）p：Pp禁止（forbid）p：Fp应该...不...（oblig
• 仪凤仪凤（676年十一月—679年六月）是唐高宗李治的年号。共计4年。
• 巴吞鲁日坐标：30°27′29″N 91°8′25″W / 30.45806°N 91.14028°W / 30.45806; -91.14028thumbnail 人巴吞鲁日（英语：Baton Rouge，法语：Bâton-Rouge，意为“ 红棍”）是美国路易斯安那
• 霍尔茨魏尔湖 (诺伊基希)坐标：47°39′59.32″N 9°41′42.05″E / 47.6664778°N 9.6950139°E / 47.6664778; 9.6950139霍尔茨魏尔湖（德语：Holzweiher），是德国的湖泊，位于该国西南部，由巴登-符腾堡州负责
• 嘉犁嘉安宫坐标：24°5′32.70″N 120°31′01.20″E / 24.0924167°N 120.5170000°E / 24.0924167; 120.5170000嘉犁嘉安宫属于庄头公庙，主祀苏府千岁，同祀池府千岁、金府千岁，位在彰化县
• 澳大利亚影艺学院国际奖最佳导演澳大利亚影艺学院国际奖最佳导演（AACTA International Award for Best Direction）是澳大利亚影艺学院每年颁发的奖项，表扬每年有出色表现的国际电影导演(即澳大利亚以外之地区
• 萨达 (拉科鲁尼亚省)萨达（加利西亚语：Sada） 是西班牙加利西亚自治区拉科鲁尼亚省的一个沿海市镇，下辖8个堂区。根据2011年的统计，萨达有19.36%的居民说加利西亚语。东北部是贝坦索斯湾（上溺湾），南邻贝尔贡多，西邻奥莱罗斯。佛朗哥行馆阿库鲁纳庄园（西班牙语：Pazo de Meirás）佛朗哥行馆阿库鲁纳庄园萨达景致加利西亚当代艺术博物馆
• 埃里克·道森埃里克·道森（英语：Eric Dawson，1984年6月7日－），美国NBA联盟职业篮球运动员。
• 第乌战役 (1509年)第乌战役，有时又叫第二次焦尔战役（英语：Battle of Chaul）。它是葡萄牙帝国与奥斯曼人、威尼斯共和国和拉古萨共和国（杜布罗夫尼克）支持下的古吉拉特苏丹国苏丹穆罕默德伯克（英语：Mahmud Begada）、埃及马木留克布尔吉苏丹国和卡利卡特扎莫林国的一支联合舰队在1509年2月3日，在印度第乌港附近的阿拉伯海上打的一场海战。葡萄牙人取得了决定性的胜利：马木留克人和阿拉伯人撤退了，使得葡萄牙人控制印度洋的战略实现得更为轻松，这样他们就能安排拐过了好望角之后的贸易计划，并在由阿拉伯人和威尼斯人控制
• 宇宙的轮回《宇宙的轮回》（Cycles of Time: An Extraordinary New View of the Universe）是数学物理学家罗杰·彭罗斯的科学书籍，2010年由博德利·海德（英语：The Bodley Head）出版。该书概述了彭罗斯的共形循环宇宙学（CCC）模型，该模型是广义相对论的扩展，但与被广泛支持的多维弦理论和大爆炸后的宇宙暴胀理论是相悖的。湖南科学技术出版社出版了其简体中文版，并归入其《第一推动丛书》。彭罗斯研究了热力学第二定律的含义以及宇宙向最大熵状态的必然进程。彭罗斯根