공리계의 독립성을 증명하는 방법
2024. 10. 27. 16:46ㆍ수학
이번 편은 공리계의 독립성을 만족하는 방법에 대해 알아볼 겁니다.
이번 편에서 사용하는 용어들의 정의는
공리계와 여러 성질들 용어 정의(무모순성과 독립성)
이번 편은 공리계에 대한 여러 성질에 용어들을 알아볼 겁니다. 그럼 시작하겠습니다. 수학에서 명제란.명제란, 참과 거짓을 명확히 나누어 논할 수 있는 문장이나 식을 뜻한다. 명제들
pilgigo.tistory.com
여기를 참고해 주세요.
그럼 시작하겠습니다.
이유는 다음과 같다.
마찬가지로
결론을 종합하여 보면 다음과 같다.
그리고
마찬가지로
결론을 종합하여 보면 다음과 같다.
같은 방법으로
따라서
'수학' 카테고리의 다른 글
| 선형대수학 시리즈 33편(행렬들의 집합은 벡터공간) (0) | 2024.11.06 |
|---|---|
| 선형대수학 시리즈 34편(선형대수학의 기본정리) (0) | 2024.10.30 |
| 공리계와 여러 성질들 용어 정의(무모순성과 독립성) (0) | 2024.10.26 |
| 선형대수학 시리즈 32편(역사상과 역행렬) (0) | 2024.10.14 |
| 선형대수학 시리즈 31편(동형사상 필요충분조건) (0) | 2024.10.12 |