증명과 논리

필요·충분, 귀류, 불변량, 유일성 등 주장 성립의 논리를 확인하고 확장하는 글.