공리계에서 서로 대우인 두 명제 중 하나만 증명 가능하다는 병신논리 연역적 증명도 귀납적 입증도 없고, 꼬리에 꼬리를 무는 가정만 가득한 병신이론 표준 양자역학에서 시간은 연속인데, 무한소 시간이 없다는 가정으로부터 양자역학을 일반화했다는 개병신
공리계에서 서로 대우인 두 명제 중 하나만 증명 가능하다는 병신논리 연역적 증명도 귀납적 입증도 없고, 꼬리에 꼬리를 무는 가정만 가득한 병신이론 표준 양자역학에서 시간은 연속인데, 무한소 시간이 없다는 가정으로부터 양자역학을 일반화했다는 개병신