こうじゅん

  1. noun (common) (futsuumeishi)

    postulate (in math, logic, etc.)