Many deep theorems use multiple proof methods together; restricting to non-diagonalizing methods arb...
This proposition has not been edited since the history system was added.