https://www.vigyanwiki.in/index.php?action=history&feed=atom&title=Template%3AMetalogic 2026-06-23T23:48:49Z Revision history for this page on the wiki MediaWiki 1.39.3 https://www.vigyanwiki.in/index.php?title=Template:Metalogic&diff=83100&oldid=prev 2023-02-09T11:23:28Z

<p>1 revision imported from <a href="https://alpha.indicwiki.in/index.php?title=Template:Metalogic" class="extiw" title="alpha:Template:Metalogic">alpha:Template:Metalogic</a></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="en-GB"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 16:53, 9 February 2023</td> </tr><tr><td colspan="2" class="diff-notice" lang="en-GB"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

Indicwiki https://www.vigyanwiki.in/index.php?title=Template:Metalogic&diff=83099&oldid=prev 2023-02-03T10:33:31Z

<p>Created page with &quot;{{Navbox | name = Metalogic | state = {{{state|{{{1|&lt;noinclude&gt;expanded&lt;/noinclude&gt;}}}}}} | title = <a href="/index.php?title=Metalogic&amp;action=edit&amp;redlink=1" class="new" title="Metalogic (page does not exist)">Metalogic</a> and <a href="/index.php?title=Metamathematics&amp;action=edit&amp;redlink=1" class="new" title="Metamathematics (page does not exist)">metamathematics</a> | listclass = hlist | list1style = p...&quot;</p> <p><b>New page</b></p><div>{{Navbox<br /> | name = Metalogic<br /> | state = {{{state|{{{1|&lt;noinclude&gt;expanded&lt;/noinclude&gt;}}}}}}<br /> | title = [[Metalogic]] and [[metamathematics]]<br /> | listclass = hlist<br /> <br /> | list1style = padding-left:2.0em;padding-right:2.0em;<br /> | list1 =<br /> * [[Cantor's theorem]]<br /> * ''[[Entscheidungsproblem]]''<br /> * [[Church–Turing thesis]]<br /> * [[Consistency]]<br /> * [[Effective method]] <br /> * [[Foundations of mathematics]]<br /> ** [[Foundations of geometry|of geometry]]<br /> * [[Gödel's completeness theorem]]<br /> * [[Gödel's incompleteness theorems]]<br /> * [[Soundness]]<br /> * [[Completeness (logic)|Completeness]]<br /> * [[Decidability (logic)|Decidability]]<br /> * [[Interpretation (logic)|Interpretation]]<br /> * [[Löwenheim–Skolem theorem]]<br /> * [[Metatheorem]]<br /> * [[Satisfiability]]<br /> * [[Independence (mathematical logic)|Independence]]<br /> * [[Type–token distinction]]<br /> * [[Use–mention distinction]]<br /> <br /> }}&lt;noinclude&gt;<br /> {{Documentation<br /> | content =<br /> {{Collapsible option |statename=optional}}<br /> <br /> {{Logic templates}}<br /> <br /> [[Category:Logic templates]]<br /> }}&lt;!--(end Documentation)--&gt;<br /> &lt;/noinclude&gt;</div>

alpha>Indicwiki