Hüperonüümid:
olek 2(n)
tõestatavus 1(n)

tõestatav-olek

  • Põhjendusviis tugineb aktsepteeritud dokumenteerimise ja tõestatavuse konventsioonidele.