Introduction to Mathematical Philosophy
Bertrand Russell
Страница - 126
Страница - 128
is the father of
and
is the son of
. It is obvious that
and