直觉主义一阶谓词逻辑与经典一阶谓词逻辑之间的一种变换关系。由哥德尔首先提出。设A是直觉主义一阶谓词逻辑中任意的公式，用A*表示A的哥德尔变换式，它的递归定义如下(用B*和C*分别表示公式B和C的哥德尔变换式)：
(1) 若A是原子公式，则A*＝A;
(2) 若A是B，则A*＝B*;
(3) 若A是B∧C，则A*＝B*∧C*;
(4) 若A是B∨C，则A*＝(B*∧C*);
(5) 若A是B
C，则A*＝B*
C*;
(6) 若A是(ᗄxi)B，则A*＝(ᗄxi)B*;
(7) 若A是(∃xi)B，则A*＝(ᗄxi)B*。
借助于哥德尔变换，可以在直觉主义逻辑与经典逻辑之间建立起如下的联系：公式A是经典一阶谓词逻辑中的定理，当且仅当A的哥德尔变换式A*是直觉主义一阶谓词逻辑中的定理。
- 弗罗洛夫
- 弗莱，N.
- 弗莱，R.
- 弗赖堡学派
- 弗里斯
- 弗雷格
- 弗雷格原理
- 弗雷格系统
- 弗雷泽
- 弘一
- 弘忍
- 张东荪
- 张中
- 张之洞
- 张九成
- 张仲景
- 张伯端
- 张伯行
- 张修
- 张元忭
- 张力
- 张南轩
- 张君劢
- 张天师
- 张如心
- epicauta taipina
- epicauta waterhousei
- epicavate
- Epic Cycle
- epicdiascope
- epicede
- epicedes
- Epicedia
- epicedial
- epicedian
- epicedians
- epicedium
- epicele
- epicellobiose
- epicellular
- 山楂树之恋和情书是什么意思
- 情感散文摘抄美文推荐励志的简单介绍是什么意思
- 情书信封款式是什么意思
- 打工者情感语录是什么意思
- 情感语录伴奏音乐是什么意思
- 李灿森情书是什么意思
- 小情书叛逆期是什么意思
- 春融心海情感语录的简单介绍是什么意思
- 夕秋情感语录是什么意思
- 情感语录女人扎心文字是什么意思
- 霸气语录情感咨询文案图片是什么意思
- 催润情书原唱是什么意思
- 杰卡尔德情书是什么意思
- 情感简短散文素材高中作文是什么意思
- 抖音男人情感语录是什么意思
- 农村相亲吃什么
- 沈阳情感挽回的方法在哪里咨询
- 挽回女友不放弃的句子短句
- 挽回前女友需要聊什么
- 怎么挽回老婆出轨的男人
- 人不该把感情看得太重吗的简单介绍
- 离婚前能挽回婚姻吗女人
- 情话纪伯伦朗诵
- 洛阳婚姻家庭服务咨询中心
- 短信挽回婚姻的绝招
- 楚辞情话短句
- 被管死的感情
- 挽回男朋友的情感朋友圈
- 挽回了男友的话
- 婆媳关系电影介绍视频
- 探秘杭州湘湖的最佳爬山胜地
- 穿始祖鸟攀登山峰，推荐这五款专业登山鞋
- 北京爬山的四川成都推荐
- 探秘上海周边美景：必去的杭州爬山推荐
- 长沙县最佳爬山胜地推荐
- 洛阳周边轻松游玩的景区推荐
- 来西安旅游不可错过的11月爬山胜地推荐
- 带孩子去爬山！西安亲子照推荐广州
- 银屏山：塘厦周边爬山之绝佳选择
- 夏季爬山必备！推荐几款素颜霜，让你美美登山
- 夜游无锡惠山，推荐两条爬山路线体验奇妙的夜景
- 保定周边游推荐：不用爬山也能玩得尽兴
- 成都旅游景点推荐：不用爬山也能玩得开心！
- 爬山虎种植技巧与水彩花卉推荐
- 初中推荐的爬山虎作文素材