Finitely Supported Mathematics