>>18
一階の述語論理はZFCのようなもの
二階のはBGのようなものかなとも