Exemplesavec 논증불능.이 문제는 논증불능으로 간주된다.I munjeneun nonjeungbulneungeuro ganjudoenda.Ce problème est considéré comme indécidable.