This requisite asks whether you can read a sentence that throws in logical ideas and notation, without slowing down too much. If the statement (∃v:∀w>v:∀x>0,y>0,z>0:xw+yw≠zw)→((1=0)∨(1+0=0+1)) makes sense after a bit of staring, you should mark yourself as having this requisite. You will then automatically be shown Arbital pages and tabs containing such notation.
Comments
Petr Hudeček
As far as I can tell, the statement is equivalent to "true" and you can strip quite a bit of information from it and still keep the point that it is true. It is somewhat confusing. Maybe the part (1+0=0+1) could be stripped so that statement would say "the hypothesis is true"? Or not. I don't know.