Introduction to Mathematical Philosophy

by Bertrand Russell

implies that

implies

, then

implies that

implies