Explore
Gaia Soulmates

Welcome to Gaia Community!

We're a little different than most social networks. Like you, we're here for a reason! Our goal? To inspire and empower you to realize your purpose, so that you can do the same for others, and so that, together, we can contribute to a better world.

Come join us... not only can you develop your own library of quotations and receive daily inspiration and wisdom, you'll be able to experience an emerging world of others who share your vision for a positive future.

Join Now


Spiritual Cinema Circle
 Advertising keeps Gaia free! Interested in sponsoring us?
Send a Quotation Card

Did you know you can turn any of the short quotes on our site into an e-card?

Simply locate the quote you'd like to send, and if it fits on our card, you'll see an option for Send as greeting on the left side of the quote.

Or, if you'd like a more classic Greeting card, you can visit our Gaia Greeting Gallery.
Quote Size: All | Short | Tall | Grande | Venti

Quotes about Formula

The same procedure may be used in the predicate calculus, but it is complicated, tedious, and ugly.  It is for this reason--plain laziness, too--that the logiciain repairs to axiom schemata instead of axioms when formalizing the predicate calculus.  Axiom schemata do not themselves appear in the formal system.  They are part of the logician's own vernacular, expressed in the same language that he or she employs to talk about formulas and predicate symbols.  Each axiom schemata specifies the form of a formula, and each axiom of the system itself is obtained from the form as an instance.

David Berlinski
Source: The Advent of the Algorithm: The 300-Year Journey from an Idea to the Computer, Page: 73
Contributed by: Christopher Galtenberg. More quotes added by Chris from this | all sources
Add Comment Print Permalink
More quotes about: axiom, scheme, formula
Quote