論理体系は?

一階述語論理で良いの?もっと高階まで考える?

等号は持つの?持たないの?