수학 채널 알림 알림 중 알림 취소 구독 구독 중 구독 취소 구독자 2301명 알림수신 53명 @시스티나 각종 수학 이야기를 해는 채널 수리논리학 hanyoo 추천 1 비추천 0 댓글 5 조회수 320 작성일 2021-03-23 15:02:38 https://arca.live/b/math/23292685 수리 논리 기호 독해는 되는데 작문을 못 하겠다 진짜... 추천! 1 ( 0) 비추! 0 ( 0) 공유 댓글 [5] 글쓰기 ㅇㅇ (110.11) 2021-03-23 15:14:24 삭제 수정 답글 X의 멱집합을 포함하는 집합 Y가 있다는 얘기네. 펼쳐보기▼ hanyoo 2021-03-23 22:29:11 답글 그렇죠 ZFC 공리 중 하나입니다 펼쳐보기▼ ㅇㅇ (110.11) 2021-03-23 23:18:19 삭제 수정 답글 참고로, 저 명제만으로는 멱집합이 존재한다는 걸 증명할 수 없어요. 펼쳐보기▼ hanyoo 2021-03-23 23:40:15 답글 네. Axiom schema of Specification이 있어야 합니다 펼쳐보기▼ ㅇㅇ (110.11) 2021-03-23 15:16:49 삭제 수정 답글 근데 수리논리학 제대로 배우고 싶으시다면 적어도 1st order logic에 대한 completeness theorem이랑 soundness theorem 증명이 수록되어 있는 책으로 입문하세요. 펼쳐보기▼ 새로운 댓글이 달렸습니다! 댓글 작성 음성댓글 아카콘 업로드 중 0초 해당 브라우저에서는 오디오 플레이어를 지원하지 않습니다. 녹음 중지 삭제 업로드 작성 글쓰기 전체글 개념글 등록순 추천순 (24시간) 추천순 (3일) 추천순 (전체) 댓글갯수순 (3일) 최근댓글순 추천컷 5 10 20 30 50 70 100 기타 최근 최근 방문 채널 최근 방문 채널 모두 삭제 전체 수학 정보 공지·운영 질문 교육 정보 유머 간단한 문제 정답/풀이 답변 운영 대회 번호 제목 작성자 작성일 조회수 추천 검증된 힐베르트 시스템 [4] ㅇㅇ (110.11) 2021.03.25 271 1 아까 논리 문제 [13] hanyoo 2021.03.25 598 1 우주랑 수학이 먼 상관이에요? [6] ㅇㅇ (1.234) 2021.03.25 303 1 밑에 무한곱 양수로 수렴하는 거 증명. [1] ㅇㅇ (110.11) 2021.03.25 224 2 수능 [4] hanyoo 2021.03.25 270 1 여긴 위키랑 채널 연결이 안 되어 있네. [2] ㅇㅇ (210.95) 2021.03.25 188 0 질문 이거 수렴해요? [10] ㅇㅇ (210.95) 2021.03.25 314 0 특이한 수열 하나만 [6] 고슈진사마 2021.03.25 1033 0 여기 보니까 연관 채널이라는 기능이 생겼던데 [1] 운학리 2021.03.25 225 0 논리 질문 [15] ㅇㅇ (210.119) 2021.03.24 255 0 ebs만으로 수능 수학 1등급 ㄱㄴ? [1] ㅇㅇ (1.234) 2021.03.24 359 0 질문 고2인데.... 대학에서 배우는 수학하고 고등학교 수학하고 많이 다른가요? [4] ㅇㅇ (121.143) 2021.03.23 469 -1 테일러 급수 질문 좀 할께요 [5] 씨발갑 2021.03.23 253 0 레일리 분포 ㅈ같네 [1] BoobisLife 2021.03.23 415 0 수능수학 범위 개줄었네 ㅋㅋㅋㅋㅋ ㅇㅇ (1.234) 2021.03.23 229 0 수리논리학 [5] hanyoo 2021.03.23 320 1 질문 고3때 수학을 전혀 못 배웠는데 [3] ㅇㅇ (220.93) 2021.03.23 337 1 초른의 보조 정리 설명. ㅇㅇ (110.11) 2021.03.23 1891 1 질문 여기서 초록색 삼각형이 왜 이렇게 돌아가는 거임 [3] 광복피부시대혁명 2021.03.23 283 1 탄젠트 어원이 바른 그림자라는데 [10] 광복피부시대혁명 2021.03.23 1291 0 선형대수학 기저 찾기 문제. [7] ㅇㅇ (110.11) 2021.03.22 580 0 선형대수학 맛보기. [10] ㅇㅇ (110.11) 2021.03.22 469 3 밀레니엄 문제에서는 [2] ㅇㅇ (1.234) 2021.03.22 227 1 f(x+y)=f(x)+f(y) 함수 찾는 문제. [7] ㅇㅇ (110.11) 2021.03.21 1398 0 질문 원방 질문이요 [6] ㅇㅇ (1.234) 2021.03.21 284 -1 질문 멍청한 저 좀 도와주실 분(무한 합 문제) [4] 하늘다람쥐 2021.03.21 313 0 공대에서 수학과 복전하면 많이 힘들까요 [2] 룰루하와 2021.03.20 319 0 행렬의 식에다가 행렬 곱할 때 질문있어 [2] addjpg 2021.03.20 542 0 질문 도형이 평행이동 하면 [2] ㅇㅇ (1.234) 2021.03.19 281 2 두 직선의 기울기가 같으면 평행한 이유가 먼가요 [6] ㅇㅇ (1.234) 2021.03.18 747 0 글쓰기 전체글 개념글 등록순 추천순 (24시간) 추천순 (3일) 추천순 (전체) 댓글갯수순 (3일) 최근댓글순 추천컷 5 10 20 30 50 70 100 기타 전체 제목/내용 제목 내용 글쓴이 댓글 Keyword search form input 검색 -4 -3 -2 -1 21-03-25 13:47 +1 +2 +3 +4