Om dessa axiomer flulle anwändas widsrägan