https://wiki.taigi.ima.org.tw/w/index.php?action=history&feed=atom&title=Epsilon%E6%AD%B8%E7%B4%8D%E6%B3%95
Epsilon歸納法 - 修訂紀錄
2026-04-06T15:48:59Z
本 wiki 上此頁面的修訂紀錄
MediaWiki 1.43.1
https://wiki.taigi.ima.org.tw/w/index.php?title=Epsilon%E6%AD%B8%E7%B4%8D%E6%B3%95&diff=471573&oldid=prev
TaiwanTonguesApiRobot：從 JSON 檔案批量匯入
2025-08-23T10:02:23Z
<p>從 JSON 檔案批量匯入</p>
<p><b>新頁面</b></p><div>佇咧數學中，'''$ \ in $ 歸納法'''（'''ε 歸納法'''、'''Epsilon 歸納法'''）是超限歸納法的變種，佇咧集合論中，用以證明所有集合 _ x _ 攏滿足某的質 _ P _，即命題 _ P _ [_ x _] 成立。$ { \ boldsymbol { \ in } } $'''歸納公理'''斷言對所有的性質 _ P _，<br />
<br />
><br />
> 若干焦集合 _ x _ 所有的元素 _ y _ 攏滿足性質 _ P _ 就足推出的 _ x _ 滿足性質 _ P _，遐爾仔所有 _ x _ 攏滿足 _ P _。<br />
><br />
><br />
<br />
用公式表達是按呢：<br />
<br />
<br />
: $ \ forall x \ left ( \ forall y ( y \ in x \ rightarrow P [y] ) \ rightarrow P [x] \ right ) \ rightarrow \ forall x , P [x] . $<br />
<br />
此公理等價數佇策梅洛-馮蘭克爾集合論中的正則性公理，即斷言所有集合皆良基。<br />
<br />
==參考文獻==<br />
<br />
[[分類: 待校正]]</div>
TaiwanTonguesApiRobot