[일반] zfc공리계를 이용해서 명제를 증명하는 프로그램이 있음?

[익명(hostile0385)]

수학 명제를 집합론적 언어로 환원한 다음에 기본 공리들만을 이용해 증명하는 프로그램이 있음?

[익명(hostile0385)]

이게 되면 이론상 난제도 이러한 방식으로 증명될 수 있는거임?

[수갤러 1(211.234)]

되겠냐

[수갤러 2(223.38)]

지금 존재하는 툴들도 type theory기반인데 왜 zfc를 생각하는거임? - dc App

[수갤러 3(122.45)]

zfc의 실용적 측면이 있는지 궁금해서 물어본거였음

[익명(anxious1657)]

고작 컴으로 그게 가능하냐