摘要：http://faculty.simpson.edu/lydia.sinapova/www/cmsc365/LN365_Lewis/L03-Countability.htm#diagThe diagonalization principle is based on a simple observation.Let A be a finite set, and R be a binary relation on A. We can represent the relation by a square table, rows and columns representing the element 阅读全文