超小小中大超大

知道与真的悖论：Fitch paradox

好书推荐：数学联邦政治世界观、万人迷她又被强取豪夺了、冷宫九公主要翻身、惊世狂妃：皇叔一宠到底、浮生若梦云生惊蛰、恋与伤、穿书后恶毒女配只想修仙、喜美：朦胧梦境、天天暴富APP、我在泰娱哦！、

Kp表示“知道P”，M表示可能算子，证明所用的认知逻辑公理包括：

1.命题逻辑公理。2.Kp → p。

3.Kp → KKp。4.p → MKp。4说明真理都是可知的

引入假设：存在我们不知道的真理，即

p∧¬Kp。

证明：

p∧¬Kp → MK(p∧¬Kp) → M (Kp∧K¬Kp)→ M(Kp∧¬Kp)

，矛盾。

数学联邦政治世界观提示您：看后求收藏（笔尖小说网http://www.bjxsw.cc），接着再看更方便。

相关小说

连载中

连载中

快穿之芙蓉帐暖: 玉樱樱; （快穿+系统＋虐渣＋爽文＋演戏＋大美人＋渣女＋男主碎片）渣女梨依儿快穿到各个小世界围绕在各个大佬周围。完成任务后就不甩他们了，主搞自己的事业......; 3.2万字6个月前

连载中

花痴女配就不能是万人迷了吗: 巫筱; 【渣女+雄竟修罗场+舔狗文学+多男主买股文】温晴绑定了一个名为舔狗系统的不明生物体。在系统的解释下才明白自己生活在一本名为《师尊别走》的话本......; 2.9万字1个月前

连载中

重生之绝色御灵师: 知沐若雨; 社畜若南汐在做饭时被自己炸死重生到异世。还没有来得及高兴发现自己重生成一个婴儿还被追杀。未来还有一个更大的秘密在等着她去探寻……; 29.5万字4周前

连载中

连载中

幽梦若影: 幽梦聆; 恍恍惚惚，一世纠葛宛若大梦一场…………我是谁，我在哪，未来如何，过去如何……一剑穿心而过，往日师徒情深，呵……………前世今生，何其荒唐，值得......; 4.7万字2周前