🎄teratailクリスマスプレゼントキャンペーン2024🎄』開催中!

\teratail特別グッズやAmazonギフトカード最大2,000円分が当たる!/

詳細はこちら
Realm

RealmとはSQLiteやCore Dataに代わるモバイルデータベースです。iOSとAndroidの両方でサポートされています。

MathJax

MathJaxは、MathML/LaTeXなどで記述された数式をWebブラウザ上で整形・表示できるオープンソースのJavaScriptライブラリ。全てのモダンブラウザで動作し、プラグインのインストールやブラウザの設定などを行うことなく利用できます。

Mathematica

Mathematicaは、ウルフラム・リサーチによって開発されている数式処理システムです。

Flash

Flashは、Webページにアニメーション、ビデオ、また対話型のアプリケーションを埋め込むためにAdobe社が提供しているクロスプラットフォームのインターネットマルチメディアランタイムです。

teratail

teratail(テラテイル)は、プログラミングに特化した日本語Q&Aサイトです。

Q&A

0回答

1357閲覧

公理に矛盾、誤りがないことを示すには、どうすればいい?

退会済みユーザー

退会済みユーザー

総合スコア0

Realm

RealmとはSQLiteやCore Dataに代わるモバイルデータベースです。iOSとAndroidの両方でサポートされています。

MathJax

MathJaxは、MathML/LaTeXなどで記述された数式をWebブラウザ上で整形・表示できるオープンソースのJavaScriptライブラリ。全てのモダンブラウザで動作し、プラグインのインストールやブラウザの設定などを行うことなく利用できます。

Mathematica

Mathematicaは、ウルフラム・リサーチによって開発されている数式処理システムです。

Flash

Flashは、Webページにアニメーション、ビデオ、また対話型のアプリケーションを埋め込むためにAdobe社が提供しているクロスプラットフォームのインターネットマルチメディアランタイムです。

teratail

teratail(テラテイル)は、プログラミングに特化した日本語Q&Aサイトです。

0グッド

0クリップ

投稿2022/04/06 03:06

編集2022/04/06 04:46

なんか、、数学の公理系の話を聞いて、数学の理論を信用できなくなった。公理を証明できない場合があるらしいが、それは方法論的に間違っていると思う。
公理に矛盾、誤りがないことを示すには、どうすればいい?
どうしようもない矛盾が将来見つかるかもしれない。

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

maisumakun

2022/04/06 03:09

この質問は、プログラミングとどう関係しますか?
退会済みユーザー

退会済みユーザー

2022/04/06 03:12

数学はプログラミングと密接な関係があることはあなたもご存知ですよね。また、teratailタグがあるので大丈夫だと思う。
maisumakun

2022/04/06 03:20

> 数学はプログラミングと密接な関係があることはあなたもご存知ですよね。 それは承知です。ただ、逆は必ずしも真ではありません。 > teratailタグがあるので大丈夫だと思う。 これはあくまで「teratailそのものに対する」質問用であって、無関係な質問の存在を許すための免罪符ではありません。
退会済みユーザー

退会済みユーザー

2022/04/06 03:26

逆は必ずしも真ではないが、ほぼ同値だから逆もほぼ必ず真。 いいえ免罪符です。teratailユーザーに聞いているので大丈夫。
arcxor

2022/04/06 03:45

それは質問者が決めることではありません。
退会済みユーザー

退会済みユーザー

2022/04/06 03:47

運に任せてみようよ。
退会済みユーザー

退会済みユーザー

2022/04/06 03:48

低評価しないで。
m.ts10806

2022/04/06 03:50

低評価理由に多く当てはまるので低評価しました。 文句があるなら低評価理由を定めている運営にどうぞ。
退会済みユーザー

退会済みユーザー

2022/04/06 03:53

はい。運営に文句を言いました。
退会済みユーザー

退会済みユーザー

2022/04/06 03:54

悪いところだけを見るのではなく、良いところも見て褒めてください。
m.ts10806

2022/04/06 03:58

客観的に見て良いところは皆無なので。
退会済みユーザー

退会済みユーザー

2022/04/06 03:58

良いところも見て褒めてください。 良いところを探そう。
退会済みユーザー

退会済みユーザー

2022/04/06 03:59

死んでいないこと インターネットでアクティブなこと 知的好奇心旺盛 数学を勉強していること プログラミングを勉強していること 就職活動をしていること
m.ts10806

2022/04/06 04:00

話を聞かないルールを守れない荒らしに対してそこまでの労力を使おうとは思わないので早々にお引取りを。
退会済みユーザー

退会済みユーザー

2022/04/06 04:02

良いところはどこだ??????
退会済みユーザー

退会済みユーザー

2022/04/06 04:02

ニートだからってバカにするな!
退会済みユーザー

退会済みユーザー

2022/04/06 04:16

複数アカウントで低評価するのは規約違反です。
m.ts10806

2022/04/06 04:26

ニートはバカにしたことはないですが、あなたは馬鹿にされるような行為を繰り返してるので自業自得でしょう。 誰が低評価したかはユーザーには見えませんが、別にそんな規約違反なことをしようと思わなくても低評価しかしようがない投稿なので、それも自業自得でしょう。
退会済みユーザー

退会済みユーザー

2022/04/06 04:29

自業自得?ふざけるな! 複数アカウントで低評価するのは規約違反です! みんなが複数アカウントを使って不正行為をしているのは自分のせいではないんです。 次の質問に答えて。 [至急] 下と上の両方に添字があるときはどうやって読む? https://teratail.com/questions/dz7uvwpqq57ynb
退会済みユーザー

退会済みユーザー

2022/04/06 04:30

人様の質問にも答えられない、答えようとすらしないゴミ。
m.ts10806

2022/04/06 04:36 編集

「答えられる」と「答える」は別ですね。 まあ非推奨な投稿の時点で「出ていけ」のほうが先にくるので低評価しかできないわけですが。 それがわからないからバカにされるだけで、されたくないならちゃんとしたら?できないし、構ってほしいから乱発してるだけなんでしょ ちゃんと友達なり同僚なり作りなさい。
退会済みユーザー

退会済みユーザー

2022/04/06 04:39 編集

ニート 友達0(インターネットですら) 今すぐ答えて > ちゃんと友達なり同僚なり作りなさい。 お前さんが友達になればいい。
退会済みユーザー

退会済みユーザー

2022/04/06 04:41 編集

ぐだぐだ説教して初心者を煽る暇あるなら答えて。
m.ts10806

2022/04/06 04:42

説教されるようなことをしてるほうが悪い。 荒らしと友達になりたくはない。不要。
m.ts10806

2022/04/06 04:43

技術的な初心者はウェルカム でもまともに話が通じないのはノーサンキュー
退会済みユーザー

退会済みユーザー

2022/04/06 04:44

> ちゃんと友達なり同僚なり作りなさい。 友達を作る方法を教えて。
m.ts10806

2022/04/06 04:53

赤の他人だしプログラミング関係ないのでどうでもいいです。
退会済みユーザー

退会済みユーザー

2022/04/06 05:27

じゃあ「ちゃんと友達なり同僚なり作りなさい。」と言うな!
NKJSM

2022/04/06 06:18

最初の質問は頑張って丁寧に書いたのに少しずつケモパンがチラ見えしてくるの草。脳の容量がちょっと。
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

まだ回答がついていません

会員登録して回答してみよう

アカウントをお持ちの方は

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.36%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問