ett visst antal abstraktioner och axiomer , utan att ana ,att