1943年のgel'fand-naimarkと1946年のrickartの研究によって公理系が与えられた。