They (and those who study ZFC extensions) are the reason I said "virtually"; they are most certainly a small minority among mathematicians. I myself have been s

They (and those who study ZFC extensions) are the reason I said "virtually"; they are most certainly a small minority among mathematicians. I myself have been studying homotopy type theory as of late.