Skip to Content
Setjið inn leitarorð eða tilgreinið leitarskilyrði með reglulegri segð.

provable formula
  1. sannanleg segð, sannanleg yrðing, sannanleg fullyrðing
    -> theorem


by Dr. Radut.