 |
| Ukrainian | English |
| вагомий доказ | sound argument |
| доказ, який витікає із суті діла | internal evidence (із суті справи) |
| доказ, який витікає із суті діла із суті справи | internal evidence (див. evidence) |
| обґрунтований доказом | justification-based |
| формальний доказ правильності програми | formal program validation |