kanıtsav kalıbı anlamı İng. theorem schema Alm. Satzchema Fr. schémede théoremè
Her örneği, sözedilen dilde kanıtsav durumunda olan bir önerme kalıbı.|| Örn. (…) kümeler kuramının bir kanıtsav kalıbıdır.