---
tag: 2XHQGC9600
kind: concept
name: Bernays-Tarski axiom system
sources:
  - wikipedia: en:20928503@r1305296233
    locator: List of things named after Alfred Tarski, section Other mathematics-related work
    note: adopted
    mention: wikipedia://en/20928503#6VND
    sections: [Summary]
inventory: [GKWPHETPSE]
---

## Summary

- Bernays-Tarski axiom system