Hi. I have two (not really related) queries, but I am not sure if they are substantial enough to be standalone questions. The first is 'If you can restrict the domain, do all mathematical functions/operations have an inverse?' (As I understand it an operation is a function in Abstract Algebra). The second question ' Is mathematics falsifiable?' Falsifiable in this context means 'has a converse' or
'can be refuted', I think some people define it as 'can be experimentally checked' or something in that vein.