Simons (1987), Casati y Varzy (1999) mostraron que el cálculo de individuos puede fundamentarse tanto en una teoría de conjuntos, como en predicados monádicos, empleados esquemáticamente.