새 토론

철학/논리학/형식/공리계와 증명 이론 문서에 대한 토론을 시작합니다.