純粋・応用数学・数学隣接分野（含むガロア理論）18

[434 １３２人目の素数さん 2024/07/11(木) 11:39:26.02 ID:8HCYQR2+]

>>432
>高階述語論理が入っていて

一階述語論理と高階述語論理の違いとは？