I am a physics student and I don't have a formal education in set theory and logic but I am interested.
Is soundness equivalent to consistency in any logical system? When a theory is sound and we have a model, I know that consistency is a consequence of soundness. Is consistency implies existence of a model in all logical systems?(I know that the converse is true) Is there a sound theory where the consistency is not a consequence of the soundness?