drar sina konseqvenser på matematisk grundval.