0311１３２人目の素数さん
2024/05/16(木) 11:43:21.19ID:WmP+w3aCなので、wikipediaの直観主義論理の項目のヒルベルトスタイルの節にあるような公理を使うんよ
探検
ニュース
- 【経済】「日本の貧困化はアベノミクスに責任」有識者が怒り告発 年収500万円世帯は実質60万円の収入減に ★8 [ぐれ★]
- 【新型コロナ】ワクチン接種後に体調不良 倦怠感に苦しむ女性が提訴 国などに損害賠償など請求 [ぐれ★]
- 【蓮舫陣営】「取材されたくなかったのでは」八丈島に行った小池氏をチクリ 都知事選 [nita★]
- 菅義偉前首相「野党に政権を渡すこと、絶対にしてはならない」 [蚤の市★]
- 【サッカー】日本代表、南野拓実がモナコの年間MVPを受賞! 公式戦31試合出場で9ゴール6アシストを記録【フランス リーグアン】 [阿弥陀ヶ峰★]
- 【北海道】時速120キロの白バイ警官死亡…無罪主張の運転手側「予見には限界あって、今回の速度は通常考えられる速度ではない」 [ぐれ★]
- 【悲報】ニコ動ユーザーの間でなぜか「非通知電話が突然かかってきた」との報告が相次ぐ [397658815]
- 🏡ง🤥ว♪ ง🤥ว♪ ง🤥ว♪🏡
- 星人式参加しなかった奴ってなんなの [237216734]
- (´・ω・`)ごめんください葬儀社です
- 【悲報】萩生田光一、シドニーのカフェで19万円のモーニング⇒その後時空テレポートでワシントンのバーに出没 [115996789]
- 【急募】今運送屋にいるけど試用期間で退職して次はITに行こうと思う、34歳で行けるか？ [859851824]