---
tag: B4J8XECRJV
kind: concept
name: Ackermann set theory
aliases: [axiom-of-heredity]
sources:
  - wikipedia: en:8635441@r1363908749
    locator: Ackermann set theory
    note: adopted
    mention: wikipedia://en/8635441
    sections: [Summary]
same_as:
  wikidata: Q341810
  wikipedia: Ackermann set theory
inventory: [MPVJAJ8D69]
---

## Summary

In mathematics and logic, **Ackermann set theory** (AST, also known as $A^*/V$) is an axiomatic set theory proposed by Wilhelm Ackermann in 1956.