1. İsim, Matematik teorem, kanıtsav, sav, dava.
  2. İsim (formülle ifade edilen) kural, yasa, kanun.
  3. İsim, Mantık öncüllerden çıkarılabilen önerme.
  4. İsim doğruluğu kanıtlanabilen fikir/ifade.
Bernouilli savı/teoremi.
sabit nokta teoremi: “Bir daireyi kendisine dönüştüren her dönüşümde kendi üzerine izdeşen en az bir nokta vardır.”
özeksel erey savı.
örümcek ağı kuramı
Basit kapalı eğri teoremi, İlingebilimin (Topolojinin) temel teoremi: “Her basit kapalı eğri düzlemi
iki bölgeye ayırır ve bu eğri, bölgeler arasında sınır oluşturur.”
Pitagor teoremi: Dik üçgenin dik kenarlarının karelerinin toplamı, eğikkenarın karesine eşittir.
açıklanmış tercihler teoremi