olemus
matemaatilises loogikas:
liik muutuja tõendväärtusi
=
a specific value substituted into an existential statement

ülevaateid
https://en.wikipedia.org/wiki/Witness_(mathematics)

https://mathworld.wolfram.com/Witness.html