>>647
言い方を変えよう
AC公理の範囲でGO定理を証明できるのか