beteckna dess gång i axiomstiska satser , riktigt paragraferaden