Bahasa au logika sistem deduktif relasi biner A1 \mathbf{a} \in Z A2 \mathbf{u} \in Z A3 \mathbf{\text{iaibu}} \notin Z A4 \forall x \in Z:x\ \mathbf{i} \in Z A5 \forall x \in Z:\forall y \in Z:x\ \mathbf{b}\ y \in Z Latihan Buktikan bahwa: \mathbf{\text{abai}} \in Z \mathbf{\text{ia}} \notin Z Berikutnya: Well formed formula