- 582 名前：１３２人目の素数さん mailto:sage [2021/10/24(日) 15:53:58.17 ID:IwWQ/vZk.net]
- >>518
>特にこの文章がヤヴァイ
>「推論は妥当（正→正）なもので、健全性は確かです。」
>こいつの頭、完全にイカレてるな
まあ、その意見もありだろうね
但し、”健全性”の定義がなんとも
だから、定義次第という気もするし
なにか種本とかあって
そこからの孫引きじゃね？
だとすれば、種本を見ないとなんとも言えない
かつ、二階述語論理 即 不健全ってわけでもないだろうし
ちょっと引っかかりはあったけど、スルーして、引用した
