당선무효형이면 어떻게 되는거에요?3

우리나라 역대 대통령에서 윤석열 이름 빠지는거 맞나요?