Introduction to Mathematical Philosophy
Bertrand Russell
Страница - 602
Страница - 604
and
may have, if all
's are
's and
is an