ابطال‌پذیری - زبان‌های دیگر