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.