"A _labeled graph_ is defined as any collection of dots with a symbol
drawn next to each dot, and arrows drawn between the dots. Aczel's
'AFA Axiom' implies that every finite graph corresponds to some set."
"According to Godel's Theorem, one can never mathematically prove
that a complicated mathematical theory is _consistent_, devoid of
self-contradictions. But Aczel has shown that, if there are
constradictions in hyperset theory, then there are also
contradictions in plain ordinary mathematics, the kind that
scientists use to make calculations. This is as good a consistence
result as one could hope for. One may confidently say: there are
mathematical objects that contain one another as elements."
Onar.