logiczne wyprowadzenie danego uznanego zdania z innych zdań już uznanych, w skończonej liczbie kroków; wyjaśnianie

wytłumaczenie z ang; explonation