>>683
(引用開始)
などと、∀を使えば、よかんべ
日常数学では
「∀n∈Ｎ」は、普通だっぺ
(引用終り)

日常数学では
厳密な、一階述語論理だけを使う必要はない
というか、それが必要なときに、必要なだけ、一階述語論理を使えば良い

あるいは、二階述語論理が必要とされているときのみ、二階述語論理に拘れば良い
日常数学では、一階述語論理、二階述語論理、あるいはもっと高階を行ったり来たり
あるいは、数学外の勘や感覚と、数学論理を行ったり来たり

一流数学者は、それで間違わない
というか、それができないと
数学の新しい分野を切り開くことはできないだろうよ

三流のサルは
10年ROMれ