超小小中大超大

知道与真的悖论：Fitch paradox

好书推荐：数学联邦政治世界观、万人迷她又被强取豪夺了、惊世狂妃：皇叔一宠到底、冷宫九公主要翻身、恋与伤、多重宇宙：离婚后，为她一夜白头、穿书后恶毒女配只想修仙、喜美：朦胧梦境、粼深时见古、我在泰娱哦！、

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），接着再看更方便。

相关小说

连载中

出没: 我家的糖不甩; 月亮《出没》的夜晚，什么故事都有可能发生。纯脑洞文，幻想离奇的事件。这次依旧是光怪陆离的黑暗成人童话，却也不乏温暖和治愈。【在此申明，文中三......; 1.6万字1个月前

连载中

连载中

连载中

你好，大妖: 这条小鱼在乎捏; 我是一个半人半妖的妖怪我出生就被诅咒过所以我父母就不要我了丢给了我师傅白泽但是师傅说以后会一只大妖叫乘黄的非常爱我爱我？为什么也要丢下我？; 0.8万字1个月前

连载中

玄界：生命与自然双灵能，在玄幻星际杀疯了！: 俺是两点半老师哩; 『科技与灵能共存世界观，讲述的是女主两点半在玄幻世界经历各种各样有趣的事，结识许多的朋友，大女主，可以嗑cp，没有男朋友设定√，但是有很多男......; 5.6万字1个月前

连载中

梦之诡见: 牛毛; 我叫夏昭，我猝死了，我以为我会直接死掉，如果我不是因为连续熬了七天夜干物流而猝死结果来到了另一个世界，我差点就信了。; 1.7万字1个月前