დიოფანტინის განტოლება არის იმ ფორმის განტოლება, სადაც P არის მთელი რიცხვი ფუნქცია, ხოლო ცვლადები იღებენ მთელ მნიშვნელობებს. ეწოდა ძველი ბერძენი მათემატიკოსის დიოფანტეს სახელი
მოდალური ზმნები შეიძლება ზოგადად აღწერონ მოვლენის თეორიულ ალბათობას გარკვეულ პირობებში. ეს პირობები შეიძლება იყოს მოვლენის ერთ-ერთი მონაწილის სურვილი ან არ სურდო, ჩადენის შესაძლებლობა კანონების, ნორმების, წესების, ეტიკეტის და სხვა გარემოებების თვალსაზრისით. როგორც წესი, განცხადება იღებს ვარაუდის ან ვარაუდის სახეს. შეიძლება აღინიშნოს, რომ, როგორც წესი, არაა ეჭვი, რომ აჭარბებს, არამედ პროგნოზირებადი კომპონენტი