# ‘Sweet’ little gem that breaks standard analysis

I came across this gorgeous chap in a paper (Paul Taylor, A lambda calculus for real analysis, <http://paultaylor.eu/ASD/lamcra/>).

We set

The example in the paper is applied to various examples as Taylor shows how many everyday maths proofs rely on the decidability of questions like ‘Is