1樓：藥罐子千里冰封
open import Data.Nat
open import Relation.Binary.PropositionalEquality
_ : 1 - 1 ≡ 0
_ = refl
2樓：
先有漢字，後有字學。
像題主這樣，自己先瞎想一套理論，然後妄圖改漢字去適應他的歪理。明顯是本末倒置，削足適履。
而且語言就是為了交流方便。
大家都能懂的東西，非要脫褲子放屁多此一舉的弄的更麻煩幹嘛？
3樓：若鷺姬
4715 04 19 14 48
寫要看勿會曉，汝這提兮是啥物問題？
提問這項代誌，
上重要兮是佮家己毋知影兮、但是想要知影兮代誌，
用別人攏會使看會曉兮方法公布出來，
予別儂來講清楚。
來來來，看魚按怎理解如即題幹佮問題描述兮：
語言國學
文字民間科學家
漢文化修改
標籤。這誰攏會使改，魚毋評論。
魚承認確實是毋知影「笀」是啥物碗糕。
如果汝兮意思是「用零亦是〇來表示0毋著，應該用笀」，
魚勿會去講汝兮想法是著抑是毋著，
只能講：若是魚來提問、來發表即兮意見，
應該會恰謙卑淡薄兮問講
「我認為現在大家用零表示一減一這件事不符零的本義，應該用『笀』字來代替，大家怎麼看？」
近代數學家把「一減一(一減一而成者、比一少一者)」叫做「零」曁「〇」、竝把「〇」讀成零、這不過是藉「二百零五」等可能被不通漢語者誤以為「零表示一減一」而成、是不對的。二百零五的零、是「兼表示其後之數不整」的「加」、而不是「一減一」。甲整而乙不整、則「甲加乙」叫做「甲零乙」。
「十加四」叫做「十零四」。「二百加五」叫做「二百零五」。
我認為、不如把「一減一」叫做笀、讀笀若芒、以所謂國際音標「m4(即所謂漢語拼音māng)」為笀之所謂普通話之音也。
【字彙補】等以笀為芒的異體、但芒實際無需又可寫成笀、笀之從竹亦與芒之義不匹配。現在我們從【龍龕手鑑】曁【篇海】而以古人所寫的「笀」為「芒」的錯誤寫法、改而定「一減一」等於「笀」、笀從竹就和「籌、算、個」從竹樣雅正了、再製造從一且從亡的笀的異體
一丄、就可廢除在漢語中用「〇」表示「一減一」了。
商朝把「不有」叫做「亡」。商朝滅後、字「無」表示「不有」流行、而亡被改成一般表示「失」曁「逃」曁「死」、「亡」表示「無」則多被改而寫作「罔」。用「亡」之「不有」義製造「一減一」等於「笀」、不是比曲解「零」而強行定「一減一」等於「零」好嗎。
我懷疑「笀」原本就表示「一減一」、甚至商朝已有「笀」表示「一減一」、但未見到我議「一減一等於笀」前的其被用之例、不敢妄自斷定佢。
1 汝兮意思可能是「「零」有剩兮意思，所以用來表示數軸兮原點就毋著矣」
這應該是汝兮核心論點，魚毋評論，只是點出來予別人作參攷。
之後欲用「笀」這無人捌兮字來代替，
魚嘛毋評論，一句攏毋評論。
知之為知之，不知為不知。
2 雖然毋知影用「m4」來表示兮「māng」是佗一兮朝代的漢語，
上少魚家鄉兮方言腔普通話是佮「māng」讀作「ma44」兮。
今俗語「笀量」曁「笀辰」曁「做笀」曁「笀宴」曁「笀星」曁「大笀」曁「長笀」曁「短笀」曁「借笀」的「笀」、意思是「壽」。「笀」表示「壽」、就是字「命」的俗文。
有的地方、「命」音似「芒」音、所以俗人用「笀」代替「命」。壽是秊數、所以「命」表示「壽」時被俗人仿「籌、算、個」而寫成「笀」。
【龍龕手鑑】等書的作者應該未見過「笀」表示「壽」、否則不至衹說「笀。音亡、正作芒。草笀」或「笀同芒」了。
我認為、有字「壽」就無需再製造專門表示「壽」之字「命」之文、就算需要製造、亦應該使之從「命」而不從「亡」、否則不說應該製造「一減一等於笀」了。
今俗語「笀編」的「笀」是「蔓」的俗文。有文「笀」適合被用於表示「一減一」而不被用、俗人新制的「笀表示命曁蔓」就會漸漸流行了。俗就是不愛文。俗人的造字、哪會顧中華需要不需要呢。
1 先生是一兮有功底兮考據黨，魚佩服。
2 「俗就是不愛文。俗人的造字、哪會顧中華需要不需要呢。」
即話魚雖然不喜歡，但也想無啥物反駁兮理由，
只是魚嗎定佇像先生講兮「俗人的造字」，甲聽會勿會爽。
請參閱【〇、、ㄢ、マ、囗、鼻韻字之源】。
好該在兮是「請參閱」這仨字魚看會曉。
總之，猶請先生佮這兮問題該一下，改做一兮真正兮問題：
「我認為應該這樣BLABLABLA，你們怎麼看？」
PS：「魚」這兮自稱來自頭像佮使用者名稱表示兮角色，佮古漢語自稱用字「餘」無關係。
4樓：熱羅尼莫
乙個漢字，在使用旳過程中出現後起旳、不同於一開始本義旳意義旳情況是相當常見旳，在大多數情況下，者種變化並不構成錯誤；恰恰相反，者一變化減少了漢字旳數量。如果任何字都只能用本義，則我們必然要為所有意義創作乙個漢字，者就使得漢字系統因為過於龐大而瀕臨崩潰。
5樓：月鏡星橋
題主要宣揚自己的觀點不如寫篇文章。以「提問」之名，行鼓吹之實，改變不了現在數學界和教育系統對於「零」的定義和使用。真要改換說法的話，空更合適。
6樓：暮無井見鈴
建議題主多做數學工作，爭取在數學上取得多項成就，這樣或許有一絲修改約定記號的可能。
至於本意不本意，沒什麼好在乎的。應該在乎的是「是否有歧義」。
請問乙個零基礎的，想要報一年的畫室學習，應該選擇乙個怎樣的畫室，大概的費用是多少？
你學美術的目的是什麼呢？以後想從事美術行業？還是就是個人愛好？看了回答讓你臨摹大師的作品，我就不噴他了，大師的畫固然是好，但是不適合初學者學習，你學不會根本的東西，一直臨摹大師的畫，想要自己創作作品的話，是非常困難的。只有你了解根本的知識，才有能力畫出屬於自己的畫，大師的作品適合你去找靈感，根本不適...
為了追乙個女生去乙個陌生城市從零開始應該嗎？我在自己城市也是從零開始 只不過有家住，有家人？
Felicity 男生總覺得靠滿腔熱情可以追到女生，大錯特錯。你的熱情也許可以令對方感動，但並不足以令對方愛上你。女生會為男生的顏值 財富 熱情著迷，但都無法過渡到愛情。真的愛你是因為你值得被愛，你有自己完整的三觀，有自己的行為尺度，有自己的事業並為之奮鬥出了價值，你有擔當力，也有為對未來的著眼和長...
乙個高中生半年零花錢應該要多少？
十二 外賣，出去玩都包括在裡面，又是國際學校，我覺得半年5 6千，應該可以了吧，不追求高奢名牌的情況下哈，這也只是我個人的想法 座標四線城市，公立重點全日制寄宿學校。每天正常食堂消費一般二十來塊可以搞定，加上體育課買點飲料或者女朋友買點零食，再加上各種雜雜碎碎算起來大概兩個星期三百，如果還有教輔這些...