METALOGIC


The 'metalogic' of a system of logic is the formal theory of the formal logic. Results in metalogic will consist of such things as formal proofs demonstrating the soundness of the logic.
Major results in metalogic include:

★ The completeness and consistency of first-order logic.

★ The deduction theorem.

★ Gödel's completeness theorem.

★ Gödel's incompleteness theorems.
See proof theory.

This article provided by Wikipedia. To edit the contents of this article, click here for original source.

psst.. try this: add to faves
Featured Companies
Vacation By VVacation By V
Golf Holidays InternationalGolf Holidays International
Metalogic Videos
metalogic - deterrent
Dhorpatan and Metalogic 1
Dhorpatan and Metalogic 2
The delta- yourso (metalogic remix)
Metalogic - Cabin Pressure (Brian Sanhaji Remix)
more Metalogic videos →
Newest Companies
Hotel Valley Ho (Caf ZuZu, VH Spa)Hotel Valley Ho (Caf ZuZu, VH Spa)
Scottsdale CVBScottsdale CVB
Interpro Travel Services Inc.Interpro Travel Services Inc.
traverse jamaicatraverse jamaica
Pelican Executive SuitesPelican Executive Suites
Time Out for Touring Inc.Time Out for Touring Inc.
Travelonly - Dave CorlessTravelonly - Dave Corless
Travelonly - Allan JenkinsTravelonly - Allan Jenkins
Heavenly Paradise GetawaysHeavenly Paradise Getaways
Temptation Resort Spa CancunTemptation Resort Spa Cancun
discover more →
©2009 TripAtlas.com