될 수 없는 집합은 뭐가 있을까요?
그저 공집합만 아니면 domain이 될 수 있나요??
이게 요즘 가장 궁금하네요
예를들면 집합의 집합은 domain이 될 수 있을까
이런 생각들....
될 수 없는 집합은 뭐가 있을까요?
그저 공집합만 아니면 domain이 될 수 있나요??
이게 요즘 가장 궁금하네요
예를들면 집합의 집합은 domain이 될 수 있을까
이런 생각들....
structure of a language의 domain
익명(118.219)
2016-05-11 01:00
추천 0
될 수 없는 집합은 뭐가 있을까요?
그저 공집합만 아니면 domain이 될 수 있나요??
이게 요즘 가장 궁금하네요
예를들면 집합의 집합은 domain이 될 수 있을까
이런 생각들....
댓글 1
다른 게시글
-
국내산 논리학 책 [4]익명(118.219) | 16.05.10추천 0
-
symbolic segment 와 symbolic point익명(168.188) | 16.05.10추천 1
-
first-order language [2]익명(118.219) | 16.05.09추천 2
-
여태껏 멘델슨을 엔더튼 인지 알았음.... [1]익명(59.4) | 16.05.05추천 0
-
eliot .mendelson 하고 enderton하고 다른책인가요?익명(59.4) | 16.05.05추천 0
-
엔더튼에 포뮬러를 줄여쓰는 경우가 있는데 [1]익명(223.62) | 16.05.04추천 0
-
아래 질문들 enderton에 나와있네요익명(118.219) | 16.05.03추천 0
-
사진첨부)집합론에서 왜 퀀터파이어 뒤에 집합이 오는거죠? [1]익명(223.62) | 16.05.03추천 0
-
집합의 조건제시법메서 [1]익명(168.188) | 16.05.03추천 0
-
structure of a first order language에서익명(168.188) | 16.05.03추천 0
가능합니다. 1차논리의 완전성정리에서 henkin construction에 쓰입니다. 아무 모델이나 잡은다음에, equivalence relation을 적당히 준 뒤에 equivalence class들을 모두 모아서 모델을 만들 수 있어요. 그리고 수학의 모든 언어는 집합이기 때문에 사실상 모든 domain은 집합을 원소로 합니다.