Peano–Russell_notation