 Now the principium tertii exclusi: this demands that every supposition is either correct or incorrect, mathematically: that of every supposed fitting in a certain way of systems in one another, either the termination or the blockage by impossibility, can be constructed. (Brouwer 1908C: 5 [van Atten &amp; Sundholm 2017: 42])