Informasi yang berkaitan dengan vi/Phép quy nạp Noetherian