Trying to prove Law of Excluded Middle in a Hilbert System

Printable View