https://www.vigyanwiki.in/index.php?action=history&feed=atom&title=Template%3AFoundations-footer 2026-07-10T05:39:45Z Revision history for this page on the wiki MediaWiki 1.39.3 https://www.vigyanwiki.in/index.php?title=Template:Foundations-footer&diff=43560&oldid=prev 2022-12-15T03:38:44Z

<p>1 revision imported from <a href="https://alpha.indicwiki.in/index.php?title=Template:Foundations-footer" class="extiw" title="alpha:Template:Foundations-footer">alpha:Template:Foundations-footer</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 09:08, 15 December 2022</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:Foundations-footer&diff=43559&oldid=prev 2022-12-14T10:29:08Z

<p>Created page with &quot;{{Navbox | name = Foundations-footer | title = Major topics in <a href="/index.php?title=Foundations_of_mathematics&amp;action=edit&amp;redlink=1" class="new" title="Foundations of mathematics (page does not exist)">Foundations of Mathematics</a> | listclass = hlist | basestyle = backgro...&quot;</p> <p><b>New page</b></p><div>{{Navbox<br /> | name = Foundations-footer<br /> | title = Major topics in [[Foundations of mathematics|Foundations of Mathematics]]<br /> | listclass = hlist<br /> | basestyle = background:#fdf;<br /> <br /> | group1 = [[Mathematical logic]]<br /> | list1 = <br /> * [[Peano axioms]]<br /> * [[Mathematical induction]]<br /> * [[Formal system]]<br /> ** [[Axiomatic system]]<br /> ** [[Hilbert system]]<br /> ** [[Natural deduction]]<br /> * [[Mathematical proof]]<br /> * [[Model theory]]<br /> * [[Mathematical constructivism]]<br /> * [[Modal logic]]<br /> * [[List of mathematical logic topics]]<br /> | group2 = [[Set theory]]<br /> | list2 = <br /> * [[Set (mathematics)|Set]]<br /> * [[Naive set theory]]<br /> * [[Set theory#Axiomatic set theory|Axiomatic set theory]]<br /> * [[Zermelo set theory]]<br /> * [[Zermelo–Fraenkel set theory]]<br /> * [[Constructive set theory]]<br /> * [[Descriptive set theory]]<br /> * [[Determinacy]]<br /> * [[Russell's paradox]]<br /> * [[List of set theory topics]]<br /> | group3 = [[Type theory]]<br /> | list3 = <br /> * [[Axiom of reducibility]]<br /> * [[History of type theory#Theory of simple types|Simple type theory]]<br /> * [[Dependent type|Dependent type theory]]<br /> * [[Intuitionistic type theory]]<br /> * [[Homotopy type theory]]<br /> * [[Univalent foundations]]<br /> * [[Girard's paradox]]<br /> | group4 = [[Category theory]]<br /> | list4 = <br /> * [[Category (mathematics)|Category]]<br /> * [[Topos|Topos theory]]<br /> * [[Category of sets]]<br /> * [[Higher category theory]]<br /> * [[∞-groupoid]]<br /> * [[∞-topos|∞-topos theory]]<br /> * [[Structuralism (philosophy of mathematics)|Mathematical structuralism]]<br /> * [[Glossary of category theory]]<br /> * [[List of category theory topics]]<br /> }}&lt;noinclude&gt;<br /> <br /> [[Category:Mathematics navigational boxes]]<br /> &lt;/noinclude&gt;[[Category: Templates Vigyan Ready]]</div>

alpha>Sarika