On the consistency, completeness and correctness problems," unpublished manuscript (1979)

by Harvey Friedman