논리가 집합론만으로 기술될 수 있다는건 뭘 의미하는 것일까요?

[익명(222.104)]

고전논리는 집합론만으로 기술될 수 있는데,

혹시 본질적으로 집합론으로 기술될 수 없는 논리도 있나요?

카테고리 이론을 필요로 한다던지

아무튼, 논리가 집합론만으로 기술될 수 있다는건 뭘 의미하는 것일까요?

[익명(1.227)]

역으로, 집합론이 술어논리라는 형식체계 안에서 기술된 이론 아닌가요. 술어논리는 명제논리의 확장이고요.

[익명(222.104)]

음 그렇다고도볼수 있죠 서로 한몸이라고 생각합니다

[익명(211.36)]

ZFC가 술어논리에서 시작되는 건데 뭔소리임