Mathematics That Works For Philosophy