もし本当に可能ならZF公理系で選択公理を証明できるという現代数学を根底から覆す大発見だから逃げずに書いてね