>>548
極端な話、メタ公理系が矛盾していれば選択公理を導けてしまう
そしてもちろん、メタ公理系が無矛盾かどうかを予め知る方法はない