It can be done by systematically making explicit all the axioms, as in the case of the well-known book Naive Set Theory by Paul Halmos, which is actually a somewhat ( not all that ) informal presentation of the usual axiomatic Zermelo – Fraenkel set theory.

** Set Theory & Further Logic

Nelson introduced an entirely axiomatic formulation of non-standard analysis that he called Internal Set Theory ( IST ).

Another example of the syntactic approach is the Alternative Set Theory introduced by Vopěnka, trying to find set-theory axioms more compatible with the non-standard analysis than the axioms of ZF.

Naive Set Theory is a mathematics textbook by Paul Halmos originally published in 1960.

* Akihiro Kanamori, " Cohen and Set Theory ", The Bulletin of Symbolic Logic, Volume 14, Number 3, Sept. 2008.

* Mary Tiles ( 2004 ) The Philosophy of Set Theory, page 99

* Relational model — Borrows from Set Theory.

A History of Set Theory.

Set Theory: An Introduction to Independence Proofs.

The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise.

Handbook of Set Theory.

Set Theory: The Third Millennium Edition, Revised and Expanded.

Georg Cantor's grand meta-narrative, Set Theory, created by him almost singlehandedly in the span of about fifteen years, resembles a piece of high art more than a scientific theory.

Levy 1984, Foundations of Set Theory, 2nd edn., North Holland, Amsterdam New York.

Define Naive Set Theory ( NST ) as the theory of predicate logic with a binary predicate and the following axiom schema of unrestricted comprehension:

In her book Philosophy of Set Theory, Mary Tiles characterized those who allow countably infinite objects as classical finitists, and those who deny even countably infinite objects as strict finitists.

" Transfinite Recursion, Constructible Sets, and Analogues of Cardinals ," Summaries of Talks Prepared in Connection with the Summer Institute on Axiomatic Set Theory, American Mathematical Society, U. C. L. A., pp. IV-0-1-IV-0-12.

" On the Application of Boolean-Valued Models to Solutions of Problems in Boolean Algebra ," in Summaries of Talks Prepared in Connection with the Summer Institute on Axiomatic Set Theory, American Mathematical Society, U. C. L. A.

Set Theory: The Third Millennium Edition, Revised and Expanded.

Set Theory: An Introduction to Independence Proofs.

Set Theory: The Third Millennium Edition, Revised and Expanded.

Set Theory: An Introduction to Independence Proofs.

Syntax uses principles of formal logic and Set Theory to formalize and represent accurately the hierarchical relationship between elements in a sentence.

Childhood's End -- apparently indebted to Kurd Lasswitz's Utopian romance, Auf Zwei Planeten ( 1897 ), and also to Wells's Histories Of The Future, especially, The World Set Free ( 1914 ) and The Shape Of Things To Come ( 1933 ) -- describes the bloodless conquest of earth by the Overlords, vastly superior creatures who come to our world in order to prepare the human race for its next stage of development, an eventual merging with the composite mind of the universe.

Set the apples in the pastry-lined tin, spread over them three tablespoonfuls of softened butter, with as much brown sugar, a sprinkling of nutmeg, and a fresh bay leaf, then lay on a cover of pastry, and gild it with beaten yolk of egg.

Set aside to dry thoroughly.

Set aside to dry with lid on sugar bowl.

Set your bathtub before you close in the end of the bathroom.

The Egyptian god Set is said, by some, to have the head of an aardvark or to be part aardvark.

The Original Chip Set ( OCS ) appeared with the launch of the A1000 in 1985.

OCS was eventually followed by the modestly improved Enhanced Chip Set ( ECS ) in 1990 and finally by the partly 32-bit Advanced Graphics Architecture ( AGA ) in 1992.

* Night Waltz I ( The Sun Won't Set ) — Mr. Lindquist, Mrs. Nordstrom, Mrs. Anderssen, Mr. Erlanson and Mrs. Segstrom

He is the son of Nephthys and Set according to the Egyptian mythology.

Anubis is a son of Ra in early myths, but later he became known as son of Set and Nephthys, and he helped Isis mummify Osiris.

Indeed, when the Myth of Osiris and Isis emerged, it was said that when Osiris had been killed by Set, Osiris ' organs were given to Anubis as a gift.

Usually, Anubis is portrayed as the son of Nephthys and Set, Osiris ' brother and the god of the desert and darkness.

Set in 1485 at the end of the British Middle Ages, the series is written as a secret history which contends that King Richard III won the Battle of Bosworth Field, only to be mistaken for someone else and murdered, and is succeeded by Richard IV ( Brian Blessed ), one of the Princes in the Tower.

Set in the year 1582, the script of the pilot is roughly the same as the episode " Born to be King ", albeit with some different jokes, with some lines appearing in other episodes of the series.

Set in the reign of Jeroboam II ( 786-746 BC ), it was probably written in the post-exilic period, sometime between the late fifth to early fourth century BC.

Set to music by John Lanchbery with choreography by Frederick Ashton and performed in character costume by members of the Royal Ballet and the Royal Opera House orchestra.