რას ეყრდნობა მათემატიკა, როგორც მეცნიერება? ბუნების შემსწავლელი მეცნიერებების შემთხვევაში მეცნიერული ჰიპოთეზა თუ თეორია

...

ამ ნაწილში საუბარია ფორმალური დამტკიცების ცნებაზე. განხილულია ფორმალური ენის საჭიროება ზუსტი მსჯელობების საწარმოებლად

...

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

...

საკონკურსო დავალებები და ამოხსნები