რას ეყრდნობა მათემატიკა, როგორც მეცნიერება? ბუნების შემსწავლელი მეცნიერებების შემთხვევაში მეცნიერული ჰიპოთეზა თუ თეორია საბოლოო ჯამში ექსპერიმენტის საშუალებით, ბუნებაზე უშუალო დაკვირვებით მოწმდება. მათემატიკური დებულების შემთხვევაში კი მის მართებულობაში დამტკიცების საშუალებით ვრწმუნდებით. დამტკიცების დახმარებით ის, რაც სულაც არ არის ცხადი, დაიყვანება იმაზე, რაც ცხადია; თან დაიყვანება ასევე ცხადი ნაბიჯებით. მათემატიკური დამტკიცება არის ყველაზე მკაფიო, ეტალონური მაგალითი დასაბუთების კლასიკური ფორმულისა: „არაცხადის გაცხადება ცხადის საშუალებით“.

„M ვექტორის“ ერთ-ერთი საკონკურსო თემა სწორედ ფორმალური დამტკიცების თეორია იქნება. ჩვენ ჯერ გავეცნობით ფორმალიზმისა და გამოყვანის ზოგად, მაგრამ ზუსტ ცნებებს, შემდგომ კი მათი მეშვეობით შევისწავლით დებულებათა ლოგიკის დამტკიცებათა თეორიას, რომლის კონტექსტშიც ცალსახა და ზუსტ პასუხს გავცემთ კითხვას, თუ რა არის დამტკიცება.