A = aksiom

def. = definisjon

EK = empirisk konsekvens

H = hypotese

HDM = hypotetisk deduktiv metode