Definition. Lecture 1 › Hilbert style proof system [006a]