| http://www.w3.org/ns/prov#value | - Wonderfully, the first and most famous example of such an undecidable statement comes straight out of plane geometry and the world's second most read book, Euclid's Elements": is it true for every straight line L and every point P not on L that there exists exactly one straight line that is parallel to L and passes through P at the same time? [If you think that the answer is an obvious yes", i
|
