Metalogic

The metalogic of a system of logic is the formal proof supporting its soundness. For example, the metalogic of any system of first-order predicate calculus is the demonstration of its completeness and consistency.

 

<< PreviousWord BrowserNext >>
florida international university
george a. miller
singapore sling
erwin panofsky
paul sturrock
emotional clearing
import tariff
ariodante
hanslope
carole caplin
macadam
portesham
subgrade
burcott, bierton, buckinghamshire
rush (football)
burcott, wing, buckinghamshire
sil international
montrose, houston
method of successive substitution
raymond leppard
viktor belenko
'blue' gene tyranny
aylesbury vale
t square
morton subotnick
french curve
tsugaru strait
cantor distribution
paris embassy attack plot
iga province
copying
cutting
legio vi victrix
sa 3 (apollo)
president of the church (mormonism)
old capitol prison
ausgleich
david rosenboom
tryon county, north carolina
pick up sticks
vitali zholobov
colin mcphee
crdit foncier de france
members of the australian house of representatives, 2001 2004