滝においては、落差のある断崖から流れ落ちる水によって、滝壺付近は強い浸食作用を受ける。また、垂直に切り立つ滝壁は複数の地層で構成されることも多く、滝壺に近い部分に軟質の地層がある場合には、その部分が特に大きく浸食されることになる。このような作用によって滝壺付近に洞窟状の凹部が形成されると、人が滝下流の川岸から滝壺の縁に沿ってその凹部まで通行し、滝を流れ落ちる水を通常とは逆の方向から眺めることができるようになることがある。このような滝が一般に裏見の滝と呼ばれる。滝裏の凹部には、神仏が祀られることが多い。例えば日光の裏見滝では、滝裏に不動明王が祀られている。
裏見の滝（うらみのたき）は、滝壺の奥に行くことができ、滝の裏側から流下する水を見ることができる滝。このような特徴を有する滝一般を指して用いられるとともに、個別の滝の名称または別称としても用いられる。
(NPCl₂)₃を密閉状態で250～350℃に加熱すると重合し、ゴム状の重合体 (NPCl₂)ₙ を形成する。これは直鎖状と枝分かれした重合体の混合物である。直鎖状重合体はベンゼン、トルエン、テトラヒドロフランに可溶であるが、分枝状重合体はこれらの溶媒に不溶である。重合体を急激に加熱すると解重合し、再び環状の(NPCl₂)₃となる。重合体を大気中に放置すると水分と反応し、徐々に加水分解する。この過程で弾性を失い、最終的にはリン酸とアンモニア、塩化水素を生じる。
形式主義の最も原理的な見方では、数学は決められたルール（公理と推論法則）に従って行われるゲームであり、ルールを取り替えることによってできる異なるゲームは、それぞれ同等である。形式主義は、ダフィット・ヒルベルトによって主張された。その目的は数学をゲームと考えることによって、数学的実在に直接関わることなく、数学の無矛盾性を証明するためであった。（ヒルベルト・プログラム）上記の点から、ヒルベルトの形式主義は、ブルバキの公理論とは異なるものである。形式主義によると、数学的命題は確実な文字列処理ルールを必要とする命題と考えられる。例として、（「公理」と呼ばれる文字列と、与えられた公理から新しい文字列を生成する「推論規則」からなるものとして見られる）ユークリッド幾何学の「ゲーム」では、ピタゴラスの定理が有効であることを証明できる（それは、あなたが、ピタゴラスの定理に対応する文字列を生成できることである）。数学的真理は、数や集合や三角形やそのようなものについてのものではない。実際、それは何に「ついて（about）」のものでもない。もうひとつの形式主義は演繹主義としてよく知られる。演繹主義では、ピタゴラスの定理は絶対的真実ではなく、相対的なものだが、もしあなたがゲームのルールが真実となるといった方法で文字列を考えているならば（いいかえれば、真の命題は公理に割り当てられ、推論と真実の保存のルールに割り当てられる）、そのときあなたは、その理論を受け入れなければならない。いやむしろ、あなたがそれに与えた解釈は真の命題でなければならない。同値はすべての他の数学的記述に関して真であると見なされる。従って、形式主義は数学が無意味な象徴ゲームでしかないことを意味する必要はない。それは通常、ゲームに適用するルールの様々な解釈が存在することが望まれている。（構造主義をこの立場になぞらえる） しかし、数学者が仕事を継続し哲学者や科学者にそのような問題を残すことは、数学者が働くことを可能にする。多くの形式主義者らは、実際に、研究された公理体系は、科学への要求や数学以外の分野によって提案されると言うだろう。形式主義の偉大なる初期の発案者はダフィット・ヒルベルトであった。彼の計画は完全でかつ一貫性（consistent）のある数学の全ての公理化を目的としていた。（「一貫性、無矛盾性（consistent）」ここでは、システムに由来しうる矛盾がないことを意味する。） ヒルベルトは、「有限算術（finitary arithmetic）」（哲学的議論にならないために選ばれた自然数の通例の算術のサブシステム）に矛盾がないという仮説から数学的体系の一貫性を示すことを目標とした。完全かつ矛盾のない数学システムを作るヒルベルトの目標は、十分に表現の富んだ矛盾のない公理体系はそれ自体の無矛盾性を決して証明できないことを述べたゲーデルの第二不完全性定理によって致命的な打撃を受けた。そのような公理体系はサブシステムとして有限算術を含んでいるため、ゲーデルの定理はそのような体系の有限算術に対する相対無矛盾性を証明できないことを含意する（もし証明できたとすると、その体系自体の無矛盾性を証明できたことになるが、ゲーデルの定理はこれが不可能であることを示しているためである）。従って、数学の任意の公理システムが実際に無矛盾であることを示すためには、その体系よりもある意味で強い体系の無矛盾性をまず仮定する必要がある。ヒルベルトは最初は演繹主義者だった。しかし、上記から明白に、彼は、本質的に意味のある結果をもたらすために、確実な超数学的方法（metamathematical method）を熟考した。また、彼は有限算術に関しては現実主義者であった。後に、彼は解釈にかかわらずどんなものであれ、他の意味にある数学はないと考えた。ルドルフ・カルナップ、アルフレト・タルスキ、ハスケル・カリーのようなその他の形式主義者は、形式的な公理体系の研究であるべき数学を考えた。数理論理学者は形式的な体系を研究するが、彼らは現実主義者であると同時に形式主義者でもある。形式主義者は通常、非常に寛容で論理学、非標準記数法、新しい集合論など、新しい試みを惹き付ける。我々が研究するゲームはよりよいものである。しかしながら、これらの例の三つすべてにおいて、自発性は既存の数学や哲学関連を題材にしている。「ゲーム」は普通、恣意的なものではない。形式主義の主な評論はゲーム以上の文字列操作から遠くかけ離れた数学者を占有する現実の数学的アイデアである。(もし正しければ)公開された証明は、これらのゲームの言葉で言えば、原理上体系立てられるが、その取り組みは、時間的にも空間的にも、恐ろしく手が出せないものを要求した（『プリンキピア・マテマティカ』序論を見よ）。加えて、そのルールはこれらの証明の初期の生成には必ずしも重要なものではない。形式主義は、公理体系を研究すべきだという疑問には無言でもある。