Filosofia de lògica i les matemàtiques