Amaliy matematika va informatika

- formulalar majmuasidan keltirib chiqarilgan formulalar ketma-ketligining har qanday hadi dan keltirib chiqariladigan formuladir.

-agar  bo’lsa, u vaqtda dan keltirib chiqarilgan har qanday formula ning ham formulasi bo’ladi.

- formula dan keltirib chiqariladigan formula bo’lishi uchun dan keltirib chiqarilgan ixtiyoriy formulalar ketma-ketligida bu formulaning mavjud bo’lishi yetarli va zarurdir.