در همین اواخر پاول ارنست بطور واضح یک فلسفه سازنده گرای ریاضیات را بوجود آورده است.