|
|
| 第1行： |
第1行： |
| 果糕的页面。
| |
|
| |
|
| <math>\mathbf{L}_a \prec \mathbf{L}_{a+1} \Longrightarrow a</math> 是 <math>\Pi^1_0</math>-反射。
| |
|
| |
| 确实很果糕。
| |
|
| |
| <div class="googology-home">
| |
| <h1 class="main-title"><span class="mw-headline" id="Googology_Wiki">Googology Wiki</span></h1>
| |
| <div class="tagline">Mapping the Universe of Monumental Numbers.</div>
| |
|
| |
| <div class="fixed-grid">
| |
| <div class="fixed-btn">
| |
| [[:Category:记号|<span class="btn-text blue">记号</span>]]
| |
| </div>
| |
| <div class="fixed-btn">
| |
| [[:Category:分析|<span class="btn-text blue">分析</span>]]
| |
| </div>
| |
| <div class="fixed-btn">
| |
| [[:Category:入门|<span class="btn-text blue">入门</span>]]
| |
| </div>
| |
| <div class="fixed-btn">
| |
| [[:序数表|<span class="btn-text blue">序数表</span>]]
| |
| </div>
| |
| <div class="fixed-btn">
| |
| [[:Category:重要概念|<span class="btn-text blue">重要概念</span>]]</span>
| |
| </div><br>
| |
| <div class="fixed-btn">
| |
| [[:Googology_梗百科|<span class="btn-text blue">梗百科</span>]]
| |
| </div>
| |
| <div class="fixed-btn">
| |
| [[:大数简史|<span class="btn-text blue">大数简史</span>]]
| |
| </div>
| |
| <div class="fixed-btn">
| |
| [[:Googology_社区|<span class="btn-text blue">社区</span>]]
| |
| </div>
| |
| <div class="fixed-btn">
| |
| [[:记号展开器|<span class="btn-text blue">展开器</span>]]
| |
| </div>
| |
| <div class="fixed-btn">
| |
| [[:Category:证明|<span class="btn-text blue">证明</span>]]
| |
| </div>
| |
| </div>
| |
|
| |
| <!-- 统计卡片 -->
| |
| <div class="wiki-stats-container">
| |
| <div class="home-card">
| |
| <h2 style="margin-top: 0">数据统计</h2>
| |
| <p>Googology Wiki 欢迎你的编辑！</p>
| |
|
| |
| <div class="template-statsbar">
| |
| <div class="template-statsbar__item">
| |
| <div class="template-statsbar__label">总条目数</div>
| |
| <div class="template-statsbar__data" id="totalArticles">loading...</div>
| |
| </div>
| |
|
| |
| <div class="template-statsbar__item">
| |
| <div class="template-statsbar__label">总编辑数</div>
| |
| <div class="template-statsbar__data" id="totalEdits">loading...</div>
| |
| </div>
| |
|
| |
| <div class="template-statsbar__item">
| |
| <div class="template-statsbar__label">注册用户数</div>
| |
| <div class="template-statsbar__data" id="totalUsers">loading...</div>
| |
| </div>
| |
|
| |
| </div>
| |
| </div>
| |
| </div>
| |
| </div>
| |
