|
|
|
|
|
|
by AstralStorm
3375 days ago
|
|
|
It doesn't come up because it is too abstract. About the only languages I can think of that will accept existential statements are theorem provers. My favourite is Isabelle/HOL. In fact, the notation used by the lecturer is sloppy. Numbers 1..N is not a rigorous domain definition. (Unknown if real or natural.) |
|
|