How about nondeterministic classical geometry? Like, constructions that can be verified with a compass and straightedge.
0
0
3
196
0