- 619 名前：１３２人目の素数さん mailto:sage [2021/10/25(月) 07:58:51.30 ID:wB/2IR+g.net]
- >>551
>>「無限階論理」という用語は、存在しないのでは？
>貴様が知らんだけ 高階論理の中に無限階論理も存在する
"無限階論理"で検索すると、下記しかヒットしない
「無限階論理」という学術用語は、存在しないみたいだねｗ
(参考)
https://uni.5ch.net/test/read.cgi/math/1319895756/
数学基礎論・数理論理学 その10
259 ：１３２人目の素数さん：2011/11/06(日) 08:18:45.68
>>249-252
