대문
임의의 문서로
근처
로그인
설정
기부
위키백과 소개
면책 조항
검색
무모순적 이론: 편집 역사
문서
토론
이 문서의 기록 보기
(
편집 필터 기록 보기
)
특정판 필터링
펼치기
접기
끝 날짜:
태그
필터:
2017 원본 편집
Articles Needing Links [1.0]
campaign-external-machine-translation
DiBabel [1.2]
discussiontools (숨긴 태그)
discussiontools-added-comment (숨긴 태그)
discussiontools-source (숨긴 태그)
discussiontools-source-enhanced (숨긴 태그)
discussiontools-visual (숨긴 태그)
editcheck-newcontent (숨긴 태그)
editcheck-newreference (숨긴 태그)
editcheck-references (숨긴 태그)
FileImporter에 의해 수정됨
Fountain [0.1.3]
IABotManagementConsole [1.1]
IABotManagementConsole [1.2]
iOS 앱 편집
m
mentor list change
meta spam id
nowiki 추가됨
PAWS [1.2]
PAWS [2.1]
paws [2.2]
ProveIt 편집
SWViewer [1.3]
SWViewer [1.4]
SWViewer [1.6]
T144167
wikieditor (숨긴 태그)
각주 제거됨
고급 모바일 편집
구식 출처 사용
구식 태그
내용 번역
내용 번역 2
내용 번역: 수정하지 않은 기계 번역의 높은 사용률
넘겨주기 대상 변경
넘겨주기 제거
다중 계정의 기여 가능성
답변
대량 메시지 전송
대체됨
도움말 모듈 질문
도움말 패널 질문
동음이의 링크
되돌려진 기여
링크 스팸 가능성
멘토 모듈 질문
멘토 패널 질문
모바일 앱
모바일 웹
문단 번역
문서 훼손 가능성 (테스트)
분류 제거
비우기
삭제 신청
삭제 신청 틀 제거
새 넘겨주기
새 문서에 분류 없음
새 사용자 작업
새 사용자 작업: 교열
새 사용자 작업: 업데이트
새 사용자 작업: 출처
새 사용자 작업: 확장
새 주제
수동 되돌리기
시각 편집
시각 편집: 전환됨
시각편집기: 확인 필요
안드로이드 앱 편집
에모지
위키 문법 미사용
위키사랑
인터위키 추가
일괄 되돌리기
일반 문서의 넘겨주기화
자서전
점검이 필요한 외부 링크
제안됨: 링크 추가
조건 제한 도달
초안 링크 추가
출생일수정
콘텐츠 모델 변경
타인의 발언 변형 · 서명 위조 가능성 (편집 필터)
토막글
특정판 삭제 신청
편집 취소
표제어 없는 문서
한 줄 문서
한글 자모가 포함된 편집 요약
선택 반전
판 보이기
외부 도구:
추가된 내용/제거된 내용 찾기
(
대안
)
사용자별 편집 찾기
(
대안
)
문서 통계
조회수
깨진 링크 수정
차이 선택: 비교하려는 판의 라디오 버튼을 선택한 다음 엔터나 아래의 버튼을 누르세요.
설명:
(최신)
= 최신 판과 비교,
(이전)
= 이전 판과 비교,
잔글
= 사소한 편집
2024년 5월 6일 (월)
최신
이전
02:26
2024년 5월 6일 (월) 02:26
TedBot
토론
기여
잔글
8,923 바이트
+1
봇: 분류 앞 공백 정리
편집 취소
2024년 2월 20일 (화)
최신
이전
08:32
2024년 2월 20일 (화) 08:32
慈居
토론
기여
잔글
8,922 바이트
+33
편집 요약 없음
편집 취소
2024년 2월 9일 (금)
최신
이전
13:46
2024년 2월 9일 (금) 13:46
TedBot
토론
기여
잔글
8,889 바이트
+3
봇: 틀 이름 및 스타일 정리
편집 취소
2024년 2월 8일 (목)
최신
이전
23:48
2024년 2월 8일 (목) 23:48
慈居
토론
기여
잔글
8,886 바이트
+68
편집 요약 없음
편집 취소
최신
이전
23:30
2024년 2월 8일 (목) 23:30
慈居
토론
기여
잔글
8,818 바이트
+46
편집 요약 없음
편집 취소
최신
이전
22:36
2024년 2월 8일 (목) 22:36
慈居
토론
기여
잔글
8,772 바이트
+72
편집 요약 없음
편집 취소
최신
이전
22:28
2024년 2월 8일 (목) 22:28
慈居
토론
기여
잔글
8,700 바이트
+45
편집 요약 없음
편집 취소
최신
이전
22:24
2024년 2월 8일 (목) 22:24
慈居
토론
기여
잔글
8,655 바이트
+39
편집 요약 없음
편집 취소
최신
이전
21:37
2024년 2월 8일 (목) 21:37
慈居
토론
기여
잔글
8,616 바이트
−32
편집 요약 없음
편집 취소
최신
이전
21:35
2024년 2월 8일 (목) 21:35
慈居
토론
기여
8,648 바이트
−155
편집 요약 없음
편집 취소
최신
이전
20:41
2024년 2월 8일 (목) 20:41
慈居
토론
기여
잔글
8,803 바이트
+510
무모순성(consistency)과 만족 가능성(satisfiability)는 다른 개념입니다. 모형을 가지는 이론은 무모순적이지만, 그 반대는 성립하지 않습니다. (
1차 논리
에서 두 조건이
동치
이기는 합니다.)
편집 취소
최신
이전
20:32
2024년 2월 8일 (목) 20:32
慈居
토론
기여
잔글
8,293 바이트
0
慈居님이
일치성
문서를
무모순적 이론
문서로 이동하면서 넘겨주기를 덮어썼습니다: 다른 개념과의 구분을 위해서 (예: 일관적 함수 집합) 성질이 적용되는 대상을 붙여주는 것이 좋습니다. ("무모순성"으로의 번역은 대한수학회에 용어집에 언급이 되어 있습니다.)
편집 취소
최신
이전
16:34
2024년 2월 8일 (목) 16:34
소언예
토론
기여
8,293 바이트
+2,756
편집 요약 없음
편집 취소
최신
이전
15:59
2024년 2월 8일 (목) 15:59
소언예
토론
기여
잔글
5,537 바이트
0
소언예님이
무모순적 이론
문서를
일치성
문서로 이동했습니다: 일본어 역어에서 영어 역어로 수정
편집 취소
2022년 7월 28일 (목)
최신
이전
08:49
2022년 7월 28일 (목) 08:49
TedBot
토론
기여
잔글
5,537 바이트
−1
봇: 문자열 변경 (]]에서, ''' → ]]에서 ''')
편집 취소
2022년 4월 20일 (수)
최신
이전
17:01
2022년 4월 20일 (수) 17:01
TedBot
토론
기여
잔글
5,538 바이트
+18
봇: 전거 통제 틀 추가
편집 취소
2022년 2월 12일 (토)
최신
이전
02:49
2022년 2월 12일 (토) 02:49
A.TedBot
토론
기여
잔글
5,520 바이트
+34
봇: 위키데이터 속성 추적 틀 부착 (
근거 1
,
근거 2
)
편집 취소
2021년 1월 22일 (금)
최신
이전
18:38
2021년 1월 22일 (금) 18:38
慈居
토론
기여
5,486 바이트
−490
편집 요약 없음
편집 취소
최신
이전
18:38
2021년 1월 22일 (금) 18:38
慈居
토론
기여
잔글
5,976 바이트
0
慈居님이
무모순성
문서를
무모순적 이론
문서로 이동하면서 넘겨주기를 덮어썼습니다: 본문에서의 표기 사용
편집 취소
2019년 6월 3일 (월)
최신
이전
07:44
2019년 6월 3일 (월) 07:44
Monsieur Lichan
토론
기여
5,976 바이트
+756
편집 요약 없음
편집 취소
2019년 5월 25일 (토)
최신
이전
00:24
2019년 5월 25일 (토) 00:24
Monsieur Lichan
토론
기여
잔글
5,220 바이트
+32
편집 요약 없음
편집 취소
최신
이전
00:23
2019년 5월 25일 (토) 00:23
Monsieur Lichan
토론
기여
잔글
5,188 바이트
−35
편집 요약 없음
편집 취소
최신
이전
00:18
2019년 5월 25일 (토) 00:18
Monsieur Lichan
토론
기여
5,223 바이트
+134
편집 요약 없음
편집 취소
2019년 2월 6일 (수)
최신
이전
16:15
2019년 2월 6일 (수) 16:15
Kafuka...
토론
기여
잔글
5,089 바이트
0
Kafuka...님이
무모순적 이론
문서를
무모순성
문서로 이동했습니다
편집 취소
2017년 8월 30일 (수)
최신
이전
13:44
2017년 8월 30일 (수) 13:44
TedBot
토론
기여
잔글
5,089 바이트
−1
봇: 문단 이름 변경 (바깥 고리 → 외부 링크)
편집 취소
2016년 8월 10일 (수)
최신
이전
23:02
2016년 8월 10일 (수) 23:02
慈居
토론
기여
잔글
5,090 바이트
−8
편집 요약 없음
편집 취소
2016년 8월 9일 (화)
최신
이전
04:18
2016년 8월 9일 (화) 04:18
Osteologia
토론
기여
5,098 바이트
+5,098
새 문서:
수리논리학
에서, '''무모순적 이론'''(無矛盾的理論, {{llang|en|consistent theory}})은 거짓을 추론할 수 없는 이론이다. == 정의 ==
1차 논리
...