დამტკიცება

ვიკიპედიიდან

ზოგადად, დამტკიცება მათემატიკაში არის ჩვენება იმისა რომ, გარკვეული აქსიომების დაშვების პირობებში სამართლიანია გარკვეული მტკიცებულება, თეორემა.

დამტკიცება არის ლოგიკური არგუმენტი, რომელიც იყენებს აქსიომებს, უკვე დამტკიცებულ თეორემებს და გამოყვანის წესებს.