1955年にタルスキはRRAそれ自体が多様体であることを示したが、それは1964年にモンクが示したように有限公理化を持たない（RAは定義から有限公理化される）。
在1955年AlfredTarski证明了RRA自身是个簇，但是DonaldMonk在1964年证明它没有有限公理化，不像RA可以通过定义有限公理化。