Level 0: Formal specification may be undertaken and then a program developed from this informally. Mức 0: Đặc tả hình thức có thể được thực hiện và rồi một chương trình được phát triển từ đặc tả này một cách không hình thức.
This is evident in the way that we are stripping the earth of its natural resources, without which no forms of life are possible. Ðiều này hiển nhiên trong cách chúng ta đang lột bỏ khỏi trái đất các nguồn tài nguyên thiên nhiên của nó, mà nếu không có chúng, không hình thức sống nào có thể có cả.
This is evident in the way that we are stripping the earth of its natural resources, without which no forms of life are possible. Điều này hiển nhiên trong cách chúng ta đang lột bỏ khỏi trái đất các nguồn tài nguyên thiên nhiên của nó, mà nếu không có chúng, không hình thức sống nào có thể có cả.
There are no special forms for apartments listings, but the owners are trying to follow certain patterns, indicating the minimum information required. Không hình thức đặc biệt đối với những quảng cáo như vậy ở đó, nhưng chủ sở hữu đang cố gắng làm theo các mẫu nhất định, cho biết thông tin tối thiểu cần thiết.
No special form for such ads there, but the owners are trying to follow certain patterns, indicating the necessary minimum information. Không hình thức đặc biệt đối với những quảng cáo như vậy ở đó, nhưng chủ sở hữu đang cố gắng làm theo các mẫu nhất định, cho biết thông tin tối thiểu cần thiết.
Instructional units encourage students to build on their informal ideas in a gradual but structured manner so that they acquire the concepts and procedures of a discipline. Các giáo viên động viên học sinh xây dựng các ý tưởng không hình thức theo cách thức dần dần nhưng có cấu trúc để cho họ thu được khái niệm và thủ tục của một bộ môn.
Reviews are done in various forms such as pair programming, informal walk through, and formal inspections. Các quá trình kiểm tra code được thực hiện theo nhiều hình thức khác nhau chẳng hạn như lập trình đôi (pair programming), các kiểm tra lần bước không hình thức, và kiểm tra hình thức.
Thus, Shinran could say, 'In entrusting ourselves to the Primal Vow, no other form of good is necessary, for there is no good that surpasses the nembutsu' (Tannisho I). Vì thế, Thân Loan có thể nói, 'Trong sự giao phó chính chúng ta cho Đại Nguyện Nguyên Sơ, không hình thức thiện nào là cần thiết, vì không có điều thiện nào vượt lên trên niệm Phật' (Tannisho I).
After the discovery of paradoxes in naive set theory, numerous axiom systems were proposed in the early twentieth century, of which the Zermelo–Fraenkel axioms, with the axiom of choice, are the best-known. Sau khi khám phá ra các nghịch lý trong lý thuyết tập không hình thức, đã có nhiều hệ tiên đề được đề nghị vào đầu thế kỷ thứ 20, trong đó có các tiên đề Zermelo–Fraenkel, với tiên đề chọn là nổi tiếng nhất.
After the discovery of paradoxes in informal set theory, numerous axiom systems were proposed in the early twentieth century, of which the Zermelo–Fraenkel axioms, with the axiom of choice, are the most well known. Sau khi khám phá ra các nghịch lý trong lý thuyết tập không hình thức, đã có nhiều hệ tiên đề được đề nghị vào đầu thế kỷ thứ 20, trong đó có các tiên đề Zermelo–Fraenkel, với tiên đề chọn là nổi tiếng nhất.
