公準
こうじゅん postulate (in math.)