2차원 초대칭적 라그랑지안 이론에서 초대칭성이 깨지는지 여부를 결정하는 알고리즘은 존재하지 않으며, 이는 특정 양자장 이론의 속성이 ZFC 집합 이론의 일관성과 연결되어 증명 불가능함을 의미합니다.
