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