axiomer icke få gälla , utan andra efter behag substitueras , då blir all bevisning omöjlig.