The existence of a legal system presupposes the existence of a rule of recognition.
The interplay between discrete and continuous mathematics is where some of the most interesting problems lie.