タナカ @tanaka2017@mathtod.online

お前がゾウに踏まれるとき，ゾウもまたお前を踏んでいるのだ．

他人の黒歴史をベンタブラックで上塗りする仕事で世界を平和にしたいですおはようございます

すべての道はどっかに通ずおはようございます

我が家のバリゴ気象計．気圧は昼過ぎからずっとこんな感じ（なお大阪県民

「西鉄バスが止まる」は「テレビ東京で特番が入る」と同一視してよい

オレ 台風が過ぎたらお肉屋さんに行ってコロッケを買うんだおはようございます

【定期】世界を統一するのだ ( ´ー`)

俺達の日曜日は終わらない．来週の日曜に続くんだ．

何がとは言わんけど「素人がこんなことをしちゃいかんな」というのと「ワイがやらな誰がすんねん」ていうのが同時にきててベランダに出て大声出したい気分です今（近所迷惑 ヽ(´ー｀)ノ

驚くべき余白を発見したがそこに書く証明が足りないおはようございます

矛盾のどっちが「たて」でどっちが「ほこ」なのか読むときも書くときもわからない勢です私

赤攝也『現代数学概論』

証明論はヒルベルトの有限の立場から有限論理で考えるように方向転換すべきではという氏の提言（2019年2月）

赤攝也『現代の初等幾何学』

有限論理とそれによるZFCの無矛盾性の証明（2018年8月）

赤攝也『公理と証明』

氏の考える有限の立場のススメ……みたいなもの（2016年11月）

赤攝也『数学序説』

氏の考える「有限の立場」についてと，それによる自然数論の無矛盾性の証明（2013年1月）

誰か(赤攝也氏のいう)有限論理の解説を私のために書いてくれない？

参考文献は，ちくま学芸文庫の
・数学序説
・公理と証明
・現代の初等幾何学
・現代数学概論
の文庫版付記

以前いろいろ探したのだが，これら以外に有限論理の解説を見つけられなかった．

コリオリの力 と これ俺の力 は似てる（おはようございます

刑事コロンボを演じる神職「いやあ，ウチの神さんがね」

『笑えない数学』の第一回放送のテーマは「かける数とかけられる数」です．お楽しみに！