3
김표 계산 및 ZFC에서 종료되지 않은 알고리즘
김 테이블은 수학의 표준 공리 시스템에 종료 표시되지 않은 프로그램의 예를 제공 ZFC 하나가 매우 큰 추기경 공리를 가정 할 때 종료 않지만. 소개 고전 김 테이블 세트를 기본으로 고유의 유한 대수 있습니다 및 작업 만족 신원 과 에 와 .An{1,...,2n}*x * (y * z)=(x * y) * (x * …
집합 이론은 정렬되지 않은 객체 컬렉션을 연구하는 수학의 한 가지입니다. 이 태그의 문제점은 세트의 조작 또는 분석과 관련됩니다.