プリンキピア・マテマティカ
Definition in "Principia Mathematica".