二階述語論理や高階述語論理についての詳細はそれぞれの記事を参照。