天使攻占曼哈顿

相关

• 形式系统在逻辑与数学中，一个形式系统（英语：Formal system）是由两个部分组成的，一个形式语言加上一个推理规则或转换规则的集合。大卫·希尔伯特在1921年推动以形式系统来描述数学知识 。
• 护卫舰护卫舰（英语：corvette）是吨位高于巡逻舰，小于巡防舰，搭载轻武装的舰艇，等级上是属沿岸海域（绿水海军）的中型舰艇，近代海军中多半是排水量1千至2千吨的水准，偶尔会有超过2500吨的特例。
• 广　林广林（1790年－1858年），苏穆察氏，清朝官员，字艺圃，号乔庵、锄经，内务府蒙古正黄旗人。嘉庆庚午科举人，十九年（1814年）甲戌科进士。
• 华夷秩序华夷秩序，或称华夷之辨、夷夏之辨、天下秩序、夷夏大防，原是上古中原人用于区辨中原华夏与蛮夷的一种概念。中国历史上“华夷之辨”的衡量标准大致有三个：血缘，地缘，以及衣饰、礼
• 阮福洪伉阮福洪伉（越南语：Nguyễn Phúc Hồng Kháng／.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HK
• 纽约灾星《纽约灾星》（英语：），是2015年在HBO播出的与被指控谋杀的罗伯特·德斯特的相关纪录片，由安德鲁·杰里克（英语：Andrew Jarecki）、Marc Smerling（英语：Marc Smerling）和Zachary Stuart-Po
• 殷健灵殷健灵（英语：Yin Jianling, 1971年10月－）是一位中国绘本作家。1971年出生于上海，祖籍江苏丹徒。1994年毕业于华东师范大学，1997年毕业于上海师范大学，1998年加入中国作家协会，后担任《现代家庭》杂志编辑和记者，现为《新民晚报》首席编辑。此外还是上海市作家协会儿童文学委员会主任。
• 梅根·阿戈斯塔梅根·阿戈斯塔（英语：Meghan Agosta，1987年2月12日－），加拿大女子冰球运动员。她曾代表加拿大国家队参加2006年、2010年、2014年和2018年冬季奥林匹克运动会冰球比赛，获得三枚金牌和一枚银牌。
• 吉米 (造型师)吉米，中国大陆形象设计师，出生年及籍贯不详。经常在古驰、范思哲等著名时尚品牌的中国发布会上担任造型设计，并曾为许多明星进行造型化妆，担任诸多模特大赛形象总监，北美化妆师协会中国地区的唯一会员。吉米1996年进入化妆造型行业，2000年在北京开办吉米形象设计学校，2004年被媒体评为中国时尚第一人。身为男性同性恋者的吉米曾考虑过做变性手术，但最终却不了了之。
• 议程议程（英语：agenda）是会议主办方拟定的一份会议活动的清单，清单上列出的活动一般会按时间顺序排列，清单上的活动一般从主持人宣布开会开始，到休会结束。有时议程还会标明活动的举办时间。