WordNet: theorem

Sanatista
a proposition deducible from basic postulates



theorem


Noudettu kohteesta ”https://sanat.csc.fi/w/index.php?title=WordNet:n06752293/en&oldid=709513”