rem. 1. Matematika. proposisi teoretis, pernyataan, atau formula yang mewujudkan sesuatu untuk dibuktikan dari proposisi atau formula lain. 2. aturan atau hukum, esp. yang dinyatakan dengan persamaan atau rumus. 3. Logika. proposisi yang dapat dideduksi dari premis-premis atau asumsi-asumsi suatu sistem.