1. Bir tasımda sonucu hazırlayan ilk iki önermeden her biri.
2. Bir bilimsel çalışmada işe koyulurken araştırmaya konu edilmeksizin doğru sayılan önerme.

Tümdengelimci bir dizgede kanıtsav ya da vargıların dayanağı olan ve daha önce kanıtlanmış savlardan ya da önsayıtlardan her biri.

Bir çıkarımın öncüller kümesini oluşturan önermelerden herhangi biri.

Bir çıkarımın öncüller kümesini oluşturan önermelerden her biri.