Aydin1884
편집 요약 없음
잔글11:31
+14
WikitanvirBot
r2.5.2) (로봇이 더함: de, es, fa, is, it, ja, mk, nl, pt, sv, uk, zh
잔글11:30
+295
121.168.98.83
편집 요약 없음
10:13
+18
Aydin1884
편집 요약 없음
잔글02:26
Aydin1884
편집 요약 없음
잔글02:24
+13
Aydin1884
편집 요약 없음
잔글02:24
−10
Aydin1884
편집 요약 없음
02:23
+103
Aydin1884
새 문서: '''건전성 정리'''(soundness theorem, 健全性定理)는 일차 논리학에서 연역 계산이 건전성을 가짐을 가짐을 의미한다. 여기서 건전하다는 것...
02:23
+2,016