22 처지: 동치관계, 명제논리, 미시간 대학교, 버트런드 러셀, 고틀로프 프레게, 기수 (수학), 자연수, 페아노 공리계, 이항관계, 전순서 집합, 정렬 원순서 집합, 정수, 주세페 페아노, 집합론, 집합의 크기, 유리수, 술어 논리, 순서수, 형 이론, 형식주의, 알프레드 노스 화이트헤드, 실수.
동치관계
수학에서, 동치관계(同値關係)는 논리적 동치와 비슷한 성질들을 만족시키는 이항관계이.
새로운!!: 수학 원리와 동치관계 · 더보기 »
명제논리
명제 논리(命題論理, propositional logic)는 논리식을 이용해 명제를 기술하는 형식 체계이.
새로운!!: 수학 원리와 명제논리 · 더보기 »
미시간 대학교
미시간 대학교()는 미국 미시간 주 앤아버에 위치한 연구 중심 공립 대학이.
새로운!!: 수학 원리와 미시간 대학교 · 더보기 »
버트런드 러셀
제3대 러셀 백작 버트런드 아서 윌리엄 러셀(Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS, 1872년 5월 18일 ~ 1970년 2월 2일)은 영국의 수학자, 철학자, 수리논리학자, 역사가, 사회 비평가Stanford Encyclopedia of Philosophy,, 1 May 2003.
새로운!!: 수학 원리와 버트런드 러셀 · 더보기 »
고틀로프 프레게
리드리히 루트비히 고틀로프 프레게(1848년 11월 8일 ~ 1925년 7월 26일)는 독일의 수리논리학자이자 철학자이.
새로운!!: 수학 원리와 고틀로프 프레게 · 더보기 »
기수 (수학)
ℵ0은 가장 작은 무한 기수이다. 수학에서, 기수(基數)는 집합의 크기를 나타내는 수이.
새로운!!: 수학 원리와 기수 (수학) · 더보기 »
자연수
수학에서, 자연수(自然數)는 수를 셀 때나 순서를 매길 때 사용되는 수이.
새로운!!: 수학 원리와 자연수 · 더보기 »
페아노 공리계
수리논리학에서.
새로운!!: 수학 원리와 페아노 공리계 · 더보기 »
이항관계
수학에서, 이항관계(二項關係)는 순서쌍들로 이루어지는 집합이.
새로운!!: 수학 원리와 이항관계 · 더보기 »
전순서 집합
순서론에서, 전순서 집합(全順序集合)는 임의의 두 원소를 비교할 수 있는 부분 순서 집합이.
새로운!!: 수학 원리와 전순서 집합 · 더보기 »
정렬 원순서 집합
순서론과 집합론에서, 정렬 원순서 집합(整列原順序集合)은 모든 부분 집합이 양의 정수 개의 극소 원소 동치류를 갖는 원순서 집합이.
새로운!!: 수학 원리와 정렬 원순서 집합 · 더보기 »
정수
정수들의 집합은 순서에 따라 직선 위에 나타낼 수 있다. 수학에서, 정수(整數)는 양의 정수(1, 2, 3,...) 및 음의 정수(-1, -2, -3,...) 및 0으로 이루어진 수 체계이.
주세페 페아노
주세페 페아노(1858년 8월 27일 ~ 1932년 4월 20일)는 이탈리아의 수학자이자 철학자이.
새로운!!: 수학 원리와 주세페 페아노 · 더보기 »
집합론
집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.
새로운!!: 수학 원리와 집합론 · 더보기 »
집합의 크기
집합론에서, 집합의 크기() 또는 농도(濃度)는 집합의 "원소 개수"에 대한 척도이.
새로운!!: 수학 원리와 집합의 크기 · 더보기 »
유리수
수학에서, 유리수(有理數)는 두 정수의 비율로 나타낼 수 있는 수이.
새로운!!: 수학 원리와 유리수 · 더보기 »
술어 논리
술어 논리(述語論理) 또는 함수 논리(函數論理) 또는 양화 논리(量化論理)는 명제에 '주어'와 '술어'의 구조가 존재하고, '주어'가 될 수 있는 대상에 대한 한정 기호를 사용할 수 있는 논리이.
새로운!!: 수학 원리와 술어 논리 · 더보기 »
순서수
\omega^\omega 이하의 순서수들의 형상화 집합론에서, 순서수(順序數)는 정렬 전순서 집합들의 "길이"를 측정하는 수의 일종이.
새로운!!: 수학 원리와 순서수 · 더보기 »
형 이론
형 이론()은 수학, 논리학 그리고 컴퓨터 공학에서 소박한 집합론의 대안적인 형식 시스템 혹은 형식 이론 관련 연구 분야를 의미.
새로운!!: 수학 원리와 형 이론 · 더보기 »
형식주의
형식주의(形式主義)는 다음과 같은 용법이 있.
새로운!!: 수학 원리와 형식주의 · 더보기 »
알프레드 노스 화이트헤드
알프레드 노스 화이트헤드(Alfred North Whitehead, OM, FRS, 1861년 2월 15일 ~ 1947년 12월 30일)는 영국의 철학자·수학자이.
새로운!!: 수학 원리와 알프레드 노스 화이트헤드 · 더보기 »
실수
실수을 수직선으로 나타낸 것 수학에서, 실수(實數)는 주로 실직선 위의 점 또는 십진법 전개로 표현되는 수 체계이.