Post by Evgeny on May 26, 2022 10:10:15 GMT 4
მასალის დასაწყისში მოცემული ენისათვის ჩამოაყალიბეთ ისეთი გამოყვანის სისტემა, რომ აღწერილი ინტერპრეტაციის პირობებში სრულდებოდეს ორი მოთხოვნა: 1) შეუძლებელი იყოს ჭეშმარიტი ტოლობიდან მცდარი ტოლობის გამოყვანა; და 2) ტერმიდან $u$ (ანუ ტოლობიდან $0 = 0$) გამოყვანადი იყოს ნებისმიერი ჭეშმარიტი ტოლობა, სადაც ტოლობის ნიშნის მარცხნივ და მარჯვნივ ნატურალური რიცხვების სასრული შეკრებაა ჩაწერილი.
