un·prov·a·ble
C1증명할 수 없는
adjective형용사
- 1
증명할 수 없는, 입증 불가능한 — 증거, 논리, 관찰 등을 통해 사실임을 증명할 수 없는C1〔general〕
unable to be shown or established as true by evidence, logic, or argument
The claim is serious, but it remains unprovable without records.
그 주장은 심각하지만, 기록이 없으면 증명할 수 없는 상태로 남는다.
Some personal experiences are meaningful but unprovable to others.
어떤 개인적 경험은 의미가 있지만 다른 사람에게 증명할 수는 없다.
- 2
증명 불가능한, 불가증명인 — 수학이나 논리학에서, 특정한 공리 체계나 형식 체계 안에서 증명될 수 없는C2〔mathematics〕
in mathematics or logic, not able to be proved within a particular formal system
Gödel showed that some true statements may be unprovable within a system.
괴델은 어떤 참인 명제가 한 체계 안에서는 증명 불가능할 수 있음을 보였다.
The theorem is unprovable from these axioms alone.
그 정리는 이 공리들만으로는 증명할 수 없다.
뉘앙스 · 쓰임
“unprovable”은 ‘증명 불가능한’에 가깝고, “unproved”나 “unproven”은 ‘아직 증명되지 않은’이라는 뜻이 더 강합니다. “indemonstrable”은 더 격식 있거나 철학적인 느낌이 있으며, “unverifiable”은 ‘검증할 수 없는’에 초점이 있습니다.
학술적 글, 논리학, 수학, 법적·철학적 논의에서 자주 쓰이지만 일반적인 주장에도 사용할 수 있습니다. 사람을 설득할 증거가 부족하다는 뜻이 아니라, 그 주장을 확실히 입증하는 것이 불가능하다는 뜻으로 쓰는 것이 자연스럽습니다.
유의어 뉘앙스 비교
- indemonstrable
- 더 격식 있고 철학적·논리학적 문맥에서 자주 쓰인다.
- unverifiable
- ‘증명’보다 ‘확인·검증할 수 없음’에 초점이 있다.
- independent
- 논리학에서 어떤 명제가 특정 공리들로 증명도 반증도 되지 않을 때 쓰인다.
- undecidable
- 형식 체계 안에서 참거짓을 결정할 수 없다는 기술적 의미가 강하다.
반의어
- provable
- 특정 공리나 규칙에서 형식적으로 증명될 수 있다는 뜻이다.
- demonstrable
- 명확히 보여 주거나 입증할 수 있다는 뜻으로 더 격식 있다.
- derivable
- 논리 규칙을 따라 결론으로 도출될 수 있다는 기술적 표현이다.
자주 쓰는 표현 · Collocations
adj+noun
- an unprovable claim증명할 수 없는 주장
- an unprovable assumption증명할 수 없는 가정
verb+adjective
- remain unprovable증명 불가능한 상태로 남다
adj+prep+noun
- unprovable within a system한 체계 안에서 증명할 수 없는
어원 · 암기 팁
[English]영어 접두사 un- ‘아닌, 반대의’와 provable ‘증명할 수 있는’이 결합한 말입니다. prove는 고대 프랑스어와 라틴어 probare ‘시험하다, 입증하다’에서 이어졌습니다.
un- ‘아닌’ + prove ‘증명하다’ + -able ‘~할 수 있는’
💡 provable이 ‘증명 가능한’이므로, 앞에 부정 접두사 un-이 붙은 unprovable은 ‘증명 가능하지 않은’으로 기억할 수 있습니다.