北欧では、クリスマスのときに飲む温めたワインの「グロッグ」にダイダイを用いる。スウェーデンのレシピの特徴は使うスパイスの種類にあり、起源は風味の落ちたワインを調味するためである。またあらかじめ干しぶどうを湯で戻し、アーモンドとともに小さなグラスに入れて準備しておいて、供する時にそこにホットワインを注ぐ点はスウェーデンならではという。グラスがとても小さい背景に家々を回ってふるまってもらう、この国の伝統的なグロッグ・パーティーの習わしがある。
酸味と苦味が強いため、直接食するのには適さない。マーマレードおよび調味料、漢方薬の材料として利用される。果汁は酸味が強く風味がいいことからポン酢の材料としても好まれる。
インド、ヒマラヤが原産。日本へは中国から渡来した。果実は春になると再び緑色に戻る。また、ヨーロッパへも伝わり、ビターオレンジとして栽培されている。日本では静岡県の伊豆半島や和歌山県の田辺市が主産地。その多くは正月飾り用であったが、近年は消費が落ち込んでいたため、ポン酢などに加工されるようになった。なお、萩市では夏ミカンのことをダイダイと言う。高さ4-5mになる常緑小高木で枝には刺がある。初夏に白い花が咲き、冬に果実が黄熟する。果実の色は橙色と呼ばれる。葉柄は翼状になっており、葉身との境にくびれがある。果実は冬を過ぎても木から落ちず、そのまま木に置くと2-3年は枝についている。この特徴から「だいだい（代々）」と呼ばれるようになったとされ、また、「回青橙」とも呼ばれる。
一階述語論理における型変数は、二階述語論理においては通常は除去できる。何故なら、型変数は何らかの理論中に現れる要素間で成り立つ性質や関係そのものを代入可能な変数として位置付けられることが多いからである。上で挙げた帰納法 と置換 の型は正にそうした例に当る。高階述語論理では量化変数を用いてあらゆる性質や関係を渡るような記述ができる。
ZFCで証明できる定理は全てフォン・ノイマン＝ベルナイス＝ゲーデル集合論(NBG)でも証明できるが、大変驚くべきことに、後者は有限公理化されている。新基礎集合論(NF)は有限公理化可能だが、その場合はエレガントさが幾分か失われる。
型変数に代入されうる部分論理式や項の個数が可算無限だとすれば、ある公理型は可算無限個の公理の集合を表すことになる。この集合は通常は再帰的に定義できる。公理型を用いずに公理化できる理論は「有限公理化」可能であると言う。有限公理化可能な理論は、たとえそれらが推論を行う上で実用性に劣っていても、超数学的なエレガントさの上では幾分か優位であると看做される。
任意の公理型は何らかの公理系における整論理式であり、そこには一つ以上の型変数が現れる。これらの変数はメタ言語学的な構成物であり、所与の体系における項や部分論理式に相当し、一定の条件を満たすことが要請される場合やされない場合がある。一定の条件とは、例えば特定の変数が自由変項であることや、またはそうした特定の変数が部分論理式や項に現れないことなどである。
ウクライナのドッキリテレビ番組であるNaked & Funny（Голые и Смешные）に出演。リダ（Lida）という愛称で知られている、卓越した美貌とスリムな身体に美しい巨乳を持ち、国内外で人気を博す。BrazerieやUkrainian bras社などで下着モデルとしての活動も行っている他、ボディペインティング活動も行っている。
カナダのオンタリオ州キングストンに生まれる。クイーンズ大学を卒業し、C・S・イビーの自給伝道隊に応募して1885年（明治18年）に来日し、浜松尋常中学校（現・静岡県立浜松北高等学校）のお雇い教師になる。1888年（明治21年）に日本メソジスト教会の教職試補になる。1890年（明治23年）、長野県の尋常師範学校（現・信州大学）のお雇い教師になる。教職のかたわら、長野県で開拓伝道をし、長野メソヂスト教会（長野県町教会）の基礎を築いた。1892年（明治25年）にメソジスト日本年会で按手礼を受けて、1893年（明治26年）に静岡教会（現、日本基督教団静岡教会）、1894年（明治27年）に本郷中央会堂（現、日本基督教団本郷中央教会）、1895年（明治28年）からは新潟県の高田教会を担当した。1897年（明治30年）にカナダへ休暇のため一時帰国する。1898年（明治31年）にアメリカ長老教会に移籍して来日し、11月にT・C・ウィンの後を継いで金沢教会（現、日本基督教団金沢教会）に赴任し、1918年（大正7年）まで福井市、金沢市で伝道をする。1909年（明治42年）10月5日から10月10日まで開催された宣教開始50年記念会に出席して、「将来に於ける宣教師の事業」と題する講演を行う。1910年（大正9年）3月12日に東京基督教青年会館で大正改訳聖書の改訳委員の第1回会合が開催され、ダンロップはD・C・グリーン、フォス、別所梅之助、松山高吉と共に出席した。1919年（大正8年）からは東京で奉仕し、1922年（大正11年）からは三重県津市で開拓伝道をした。しかし、1932年（昭和7年）に健康を害して長野県軽井沢町で療養するが、その地で死去する。生前、長年の日本での功績により、母校クイーンズ大学より名誉神学博士号を受けた。