21/10/25 07:58:51.30 wB/2IR+g.net
>>551
>>「無限階論理」という用語は、存在しないのでは？
>貴様が知らんだけ 高階論理の中に無限階論理も存在する
"無限階論理"で検索すると、下記しかヒットしない
「無限階論理」という学術用語は、存在しないみたいだねｗ
(参考)
ｽﾚﾘﾝｸ(math板)
数学基礎論・数理論理学 その10
259 ：１３２人目の素数さん：2011/11/06(日) 08:18:45.68
>>249-252
21/10/25 07:58:51.30 wB/2IR+g.net
>>551
>>「無限階論理」という用語は、存在しないのでは？
>貴様が知らんだけ 高階論理の中に無限階論理も存在する
"無限階論理"で検索すると、下記しかヒットしない
「無限階論理」という学術用語は、存在しないみたいだねｗ
(参考)
ｽﾚﾘﾝｸ(math板)
数学基礎論・数理論理学 その10
259 ：１３２人目の素数さん：2011/11/06(日) 08:18:45.68
>>249-252