>>63
選択公理による整列定理の証明がそんな感じだった