blob: b7137009e08cf3801a3b6ae9944ea06a46657498 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
\begin{abbreviation}\label{phase5_quantified_identity}
The phase five quantified identity of $A$ is $A$.
\end{abbreviation}
\begin{abbreviation}\label{phase5_quantified_contains}
$A$ contains $B$ iff $B\in A$.
\end{abbreviation}
\begin{proposition}\label{phase5_quantified_function_argument}
The phase five quantified identity of every set $A$ is equal to $A$.
\end{proposition}
\begin{proof}
Follows.
\end{proof}
\begin{proposition}\label{phase5_quantified_verb_argument}
Let $A$ be a set.
Then $A$ contains every element of $A$.
\end{proposition}
\begin{proof}
Follows.
\end{proof}
|
