...不完全性定理与塔尔斯基的真假概念在形式算术系统中不可定义定理: a.如果形式算术系统是简单无矛盾的,那么它就是简单不完全的;这就是说,在系统中存在一个具有形式(Vx)A(x)的公式(或称命题)B,使淂B和┐B都不是系统的定理。 哥德尔不完全性...
...乎?河北民心一摇,国势将若之何?”语未毕,哽咽不能言,宰执以下皆为之挥涕,乃入奏。帝即遣使罪守河将帅,而防御稍严,仍遣兵分守陕西、山东诸路。 滁帅乏粮,诸将谋所向,硃元章曰:“困守孤城诚非计。今欲谋所向,惟和阳可图,然其城小而坚,可以计取,...
...出自:南宋诗人陆游的《示儿》 原文如下: 死去元知万事空,但悲不见九州同。 王师北定中原日,家祭无忘告乃翁。赏析 这首诗是陆游的绝笔。他在弥留之际,还是念念不忘被女真贵族霸占着的中原领土和人民,热切地盼望着祖国的重新统一,因此他特地写这首...
...尝浚以分决河之流,后亦堙。东北距府百四十里。领县四: 荥阳州西。南有大周山,汴水出焉。又东南有嵩渚山,京水出焉。又有索水,源出小径山,北流与京水合,下流入於郑水。又大河在北。东有须水镇,崇祯十年筑城。 荥泽州北少西。元直隶汴梁路。洪武中,...
...目录 《玉案》固元汤 《医宗己任编》固元汤 ▼ 相关方剂 ▲ 返回目录 《玉案》卷四:固元汤【处方】人参5钱,五味子5钱,黄耆2钱,甘草2钱,枣仁2钱。【功能主治】元气不足,以致血汗。【用法用量】水煎,温服。【摘录】《玉案》卷四▼ 相关...
...目录 《医方简义》调元益胃饮子 ▼ 相关方剂 ▲ 返回目录《医方简义》:调元益胃饮子【处方】川芎炭1钱,炒当归3钱,炮姜1钱,淡附子2钱,苍术炭8分,清炙耆3钱,姜半夏1钱5分,川连(吴萸8分拌炒)1钱,琥珀6分,泽兰1钱,茺蔚子(炒)3...
...目录 《治痘全书》大保元汤 《痘疹传心录》大保元汤 《赤水玄珠》大保元汤 《冯氏锦囊秘录》大保元汤 ▼ 相关方剂 ▲ 返回目录 《治痘全书》卷十三:大保元汤【处方】保元汤加川芎、白术、肉桂。【功能主治】痘疹气虚顶陷者。【用法用量】水煎服。...
...蛇葡萄(图) 蛇眼草 蒴藋 四方盒子草 算盘子(图) 苏铁(图) 桃金娘(图) 藤仲 五爪金龙 血风藤 血满草 雪猪肉 鸭公青 杨梅叶蚊母树根 野香橼花 栘枍 云南柴桂 云实 榛蘑 柘树茎叶 枳椇根 走游草 中药主治:祛风活络 秦艽(图) ...
...目录 《种痘新书》调元托里汤 《片玉痘疹》调元托里汤 ▼ 相关方剂 ▲ 返回目录 《种痘新书》卷十二:调元托里汤【处方】人参、炙耆、当归、诃子肉、陈皮、桂枝(去皮)、羌活、防风、荆芥、赤芍、木香、红花各等分。【功能主治】痘痒塌,泄泻。【...
...出自:宋辽金文天祥的《金陵驿二首·其一》类型:抒情原文如下: 草合离宫转夕晖,孤云飘泊复何依! 山河风景元无异,城郭人民半已非。 满地芦花和我老,旧家燕子傍谁飞? 从今别却江南路,化作啼鹃带血归。...
所有搜索结果仅供参考,如需解决具体问题请咨询相关领域专业人士。