# Definition:Standard Transitive Model

Jump to: navigation, search

## Definition

Let $p$ be a WFF in the language of set theory.

Let $A$ be a class.

Then $A$ is a standard transitive model of $p$ if and only if:

$A \ne \varnothing$
$A$ is a transitive class

and:

$A \models p$