matemaattinen lauseke (englanniksi)

theorem (s: ''(logiikka, matematiikka)'' suureita tai funktioita sisältävä matemaattinen esitys, kaava, johon on merkitty mitkä laskutoimitukset tai operaatiot johtavat tulokseen; merkitty laskutoimitus)
formula (s: ''(logiikka, matematiikka)'' suureita tai funktioita sisältävä matemaattinen esitys, kaava, johon on merkitty mitkä laskutoimitukset tai operaatiot johtavat tulokseen; merkitty laskutoimitus)