人工基（artificial basis）是1993年公布的数学名词。