ÖversättningKontext
Substantiv
1.theoremlogik, matematik