歴史的にはヒルベルト、ヘルダー、ハーンらを含む数学者たちによって徐々にぼんやりと公理化が進められ、1926年に順序体および(形式的)実体に関するアルティン-シュライヤー理論によって結実する.
アルティン-シュライヤー理論