Combinatorial unprovability proofs and their model-theoretic counterparts