Context: Weyl 's Predicative Classical Mathematics as a Logic - Enriched Type Theory . ( arXiv:0809.2061v1 [ cs . LO ] ) We construct a logic - enriched type theory LTTW that corresponds closely to the predicative system of foundations presented by Hermann Weyl in Das Kontinuum . We formalise many results from that book in LTTW , including Weyl 's definition of the cardinality of a set and several results from real analysis , using the proof assistant Plastic that implements the logical framework LF . This case study shows how type theory can be used to reprezsent a non - constructive foundation for mathematics .

Question generated: What nay be the reason for the post ?
OPTIONS:
- To describe science stdies
- To describe math studies
- None of the above choices .
- To describe history studies

Context: Well here in the Uk summer is officially over ! I have dark blonde hair with highlights and have quite pale skin , I did manage to get a tan in the summer but it has now faded so quickly . Before summer I wore fake tan a lot and I felt so much better with it on as I did apply it well I just hated it when it flaked off .

Question generated: Why does the narrator not have a deep tan ?
OPTIONS:
- The UK does not have a summer .
- They did n't travel at all .
- They use fake tanner instead .
- They do n't see a lot of sun .

Context: After 7:00 PM , I packed up the booth and spent the rest of the night hanging out with friends , most of which consisted of bouncing around between various locations and drinking . Friday was my big drinking night of the con , amusingly . And , no , Adrian did not drink all of my beer . But he did n't only drink one of them , like he claims .

Question generated: How old might the friends be ?
OPTIONS:
- 21 +
- None of the above choices .
- 18 - 20
- 14-Dec

Context: Anyway we were in a horrible mood so I put on " This Time Around " and managed to get a smile out of my sister . As we 're on anderson about to cross gunn hwy we stopped at the light . Out of no where a PT Cruiser spins out and the guy gets out of the car and starts going mental at the car behind us . I thought he was yelling at us and I was about to unload . This guy went crazy .

Question generated:
What may happen if we already turned right and away from the confrontation ?
OPTIONS:
- I may park my car and go back to watch .
- The guy may start chasing us .
- We may not hear any loud arguments .
- None of the above choices .