Independence (mathematical logic)

ウィキペディアから