There is a decent amount, but perhaps more importantly, you can get really weird conclusions if you assume choice is false! Simplest example: you can have a pr

There is a decent amount, but perhaps more importantly, you can get really weird conclusions if you assume choice is false! Simplest example: you can have a product of non-empty sets be empty.