数学書とかに書いてある数学の証明って２階述語論理とか１階述語論理とか命題論理とかの種類で言うと
なんていう論理つかうとだいたい証明できるの？