[일반] 공리계 질문

[익명(124.51)]

어떻게 두 공리밖에 존재하지 않는 공리계가 countably infinite 하다는 것이죠?

글 작성자가

서로 다른 두개의 아이템이 존재한다.

서로 다른 세개의 아이템이 존재한다.

서로 다른 네개의 아이템이 존재한다.

...

이런 식으로 적어야 하는데 그냥 두 개만 적고 끝낸 건가요?

위키피디아 axiomatic systems 문서 글입니다.

[익명(211.36)]

ㅇ

[익명(124.51)]

감사합니다.

[익명(39.7)]

그런거같은데

[익명(124.51)]

감사합니다.