utsagn som har form av en påstand, og som kan avledes fra tidligere beviste resultater eller aksiomer (grunnsetninger) ved hjelp av logisk deduksjon. Videre lesning teoretiker teoretisk
