Skolem and pessimism about proofs (0)

by P J Cohen