Here's a professor of math in some Australian university who has pursued a philosophy of mathematics while basically rejecting infinities, axiom of choice, and

Here's a professor of math in some Australian university who has pursued a philosophy of mathematics while basically rejecting infinities, axiom of choice, and reals. https://www.youtube.com/watch?v=U75S_ZvnWNk https://www.youtube.com/watch?v=U75S_ZvnWNk