Tiên đề tách – Theo ngôn ngữ khác