theory (mathematical logic)

ウィキペディアから