No.11105993 ViewReplyOriginalReport
>law of excluded middle
>non constructive proofs
>real numbers