디시인사이드 갤러리

갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

자연수의 정의앱에서 작성

터널스네이크 팬(118.41) 2021.04.20 01:25:35
조회 98 추천 0 댓글 0
														

viewimage.php?id=2eaeef28e0c569&no=24b0d769e1d32ca73fec81fa11d02831b46f6c3837711f4400726c62de61225a7aa34eef807ac5dc73dc5b7abbd0aa779573f79ac7626a42a371719fe62618b8dd6808d7aadab267593e8aa032d2704a533462c8084bbd7bd4ecdb

으로 재구성하였고, 이 정의가 체르멜로의 구성에 비해 갖는 몇 가지 큰 이점이 있었기때문에 오늘날 집합론에서 자연수 하면 폰 노이만식의 구성을 대부분 떠올린다. 한편 ZF 공리계 중 '자연수들을 포함하는 집합이 존재한다'는 무한 공리(axiom of infinity)에 의해, 자연수 집합의 존재성이 보장된다.

폰 노이만의 구성이 갖는 이점은 다음과 같다. 폰 노이만식 구성에서는 1={0}1={0}, 2={0,1}2={0,1}, 3={0,1,,2}3={0,1,2}, ... 이런식으로 모든 자연수는 그보다 작은 자연수를 원소로 가지며, 동시에 자신보다 작거나 같은 수는 부분집합으로 갖는다. 즉, ∈ 는 < 로, ⊆ 는 ≤ 로 자유롭게 바꿔쓸 수 있었던것이다.


추천 비추천

0

고정닉 0

0

원본 첨부파일 1

댓글 영역

전체 댓글 0
등록순정렬 기준선택
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 가수에서 배우로 전향 했지만 기대에 못 미치는 스타는? 운영자 25/02/24 - -
공지 편의점 갤러리 이용 안내 [532] 운영자 21.03.03 75093 659
6808492 실베에 간호사썰 보고왓는데 Rhymelime갤로그로 이동합니다. 07:39 0 0
6808491 정액주세여 맹헤나갤로그로 이동합니다. 07:39 1 0
6808490 여성스러운 제모중 ㅇㅇ(106.101) 07:39 2 0
6808489 불쌍하구만 경북편갤러갤로그로 이동합니다. 07:39 2 0
6808488 버스기사 야랄났네 진짜 ㅋㅋ ㅇㅇ(118.235) 07:39 2 0
6808487 한남새끼들 아가리해라 십새들 경북편갤러(211.234) 07:38 2 0
6808486 새벽마다 골치아픈약 달라고 염병하는 할배 총재2갤로그로 이동합니다. 07:38 1 0
6808485 서냥이 머리채 거칠게 잡고서 [1] 총재2(118.235) 07:38 19 1
6808484 교대녀 오면 저탱이에 부비부비해야지 ㅇㅇ(211.234) 07:38 5 0
6808483 500원빵꾸낸거 여유분으로 메꿔도 ㄱㅊ? [1] ㅇㅇ갤로그로 이동합니다. 07:38 7 0
6808482 모집 마감되었어도 문자지원해볼까요? [2] 편갤러(175.113) 07:37 12 0
6808481 아맞다 바뀐매장 정시퇴근 불가능 [1] 경북편갤러갤로그로 이동합니다. 07:36 22 0
6808480 한남들 아가리해라 [1] 경북편갤러(211.234) 07:36 17 0
6808478 곧퇴근임니댜 [2] 맹헤나갤로그로 이동합니다. 07:36 16 0
6808477 즐겁게~ 근무하다가~ [3] ㅇㅇ(106.101) 07:35 22 1
6808476 여자맞는데요 [1] ㅇㅇ(106.101) 07:35 19 0
6808475 니들 교대녀 예쁘냐? [4] ㅇㅇ(211.234) 07:33 24 0
6808473 저어때염 [4] ㅇㅇ(106.101) 07:32 30 0
6808472 피곤해서 아무것도 하기싫당 노예편붕이갤로그로 이동합니다. 07:32 6 0
6808471 1년넘게근무한 편의점인데 갑자기 폐기가져가지말라네 [4] 편갤러(211.187) 07:31 28 0
6808469 아이 싯팔 전신불고기련 어김없이 30개 쳐 가져오네 [9] 호로쌖쓰말좃양봉마약선상파티갤로그로 이동합니다. 07:29 33 0
6808468 왜 나만 쇼카드해? 억울해 [1] Rhymelime갤로그로 이동합니다. 07:28 34 0
6808467 윈드블루 틀딱이름 뭐임? [8] 편갤러(14.36) 07:28 32 0
6808466 봊이나 실컷 빨아대고싶다 총재2(118.235) 07:28 41 2
6808465 저 기모오버핏을 뚫는 폭풍의 젖꼭지는 맨날 오버로드네 [4] 호로쌖쓰말좃양봉마약선상파티갤로그로 이동합니다. 07:27 29 0
6808464 오후 교대녀가 쇼카드 꼽아주던데 편갤러(211.235) 07:27 22 0
6808463 이번에도 8시 넘겨서 지각하면 ㄹㅇ 죽여야지 [1] ㅇㅇ(59.11) 07:27 17 0
6808461 오출완 [16] 연양갱킬러갤로그로 이동합니다. 07:24 41 0
6808460 제발 연금복권 당첨좀 ㅅㅂ [2] 댓글싸개_갤로그로 이동합니다. 07:23 27 0
6808459 없는 제품 쇼카드는 걍 버리면 됨? [3] ㅇㅇ(121.137) 07:23 35 0
6808458 아니 주류 쇼카드 이건 왜해야대냐 [3] ㅇㅇ(114.206) 07:22 31 0
6808457 로또하는 편의점 ㄹㅇ 대가리 터지것노 [3] ㅇㅇ(59.11) 07:22 29 0
6808456 호복이정도면 ㄹㅇ로 착한편아님? [3] ㅇㅇ(118.235) 07:22 31 0
6808455 니들 편의점 차리면 알바는 어떻게 쓸거임? ㅇㅇ(118.235) 07:22 21 0
6808453 봉투 필요하세요? 들고가 [2] Rhymelime갤로그로 이동합니다. 07:21 27 0
6808452 취해서 잤네 [4] 맹헤나갤로그로 이동합니다. 07:21 33 0
6808451 식비 40 언더로 잡아야겟다 [10] 호복이갤로그로 이동합니다. 07:20 58 0
6808450 너네 오전 오후한테 쇼카드 분류 기대함? [8] ㅇㅇ(14.53) 07:19 38 0
6808448 점주 << 이새낀 월말야간 무조건 안하겠지? [1] 편갤러(118.235) 07:18 25 0
6808447 자동차가 갖고싶군아 자동차를 가지면 인생이 바뀔까 [8] 호로쌖쓰말좃양봉마약선상파티갤로그로 이동합니다. 07:18 25 0
6808446 담배사러 한번오고 [11] 총재2갤로그로 이동합니다. 07:17 40 0
6808445 퇴근이요~ [9] 댓글싸개_갤로그로 이동합니다. 07:16 30 0
6808444 쇼카드 만든 사람 꿀빰 마렵다 [2] 지오갤로그로 이동합니다. 07:16 25 0
6808442 뭐야 원래 야간근무자가 100% 끝내놔야하는거 아니였어? [3] ㅇㅇ(118.235) 07:15 50 0
6808441 근데 진짜 편의점 본사들은 돈 벌이가 [11] 캇예스베러버니갤로그로 이동합니다. 07:15 57 0
6808440 쏘야, 계란말이, 두부조림, 장조림 하려고 샀음 [1] 서냥.갤로그로 이동합니다. 07:14 21 0
6808439 서냥. < 넷카마 편갤러(58.29) 07:14 10 0
6808438 오감자 딸기맛 먹어라 ㅇㅇ(211.235) 07:14 13 0
6808437 6시간뒤 출근이요 @-@ [2] 비뇨기과갤로그로 이동합니다. 07:13 14 0
뉴스 블랙핑크 리사, 오늘(28일) 첫 정규앨범 ‘Alter Ego’ 발매 디시트렌드 02.28
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2