アルフレト・タルスキ
ギムナジウム時代より神童の誉れ高かったアルフレッドは、ワルシャワ大学に入学した当初は生物学を志したが、次第に数学(特に数学基礎論)に興味を移していった。大学ではヴァツワフ・シェルピンスキのもとで集合論を、ヤン・ウカシェヴィチおよびスタニスワフ・レシニェフスキのもとで論理学を、タデウシュ・コタルビンスキのもとで哲学を学び、これが彼の後の研究を方向付けることとなる。
1923年には、師のレシニェフスキが考案した論理体系に関するある未解決問題を解決し、この業績により博士号を取得(1924年)。同24年には、バナッハとの共著論文において、有名な「バナッハ=タルスキの定理」を発表している。
同年、アルフレッドと弟のヴァツワフは姓を「テイテルバウム」(Teitelbaum)から「タルスキ」(Tarski)に改めている。もともとアルフレッドの家系はユダヤ系であった。「タルスキ」という姓にしたのは、「テイテルバウム」よりもポーランド的で、綴りや発音も簡単で、ほかにこの姓を使っている人がいなさそうだったからだという。(アルフレッドはのちに北カリフォルニアで「アルフレッド・タルスキ」という同姓同名の人物に出会うことになるのだが)。アルフレッド本人は以前から無神論者だと言っていたものの、タルスキ兄弟はポーランドで優勢な宗教であったローマ・カトリックに改宗した。タルスキはポーランドの民族主義者で、自らの属性を(ユダヤ民族でなく)ポーランド民族と考えており、そのように受け取られることを常に望んでいた。
1929年秋、ウィーンより数学者カール・メンガーがワルシャワに招かれ、一連の講義を行った。メンガーは、当時論理実証主義運動を先導していた「ウィーン学団」の中心的メンバーであり、メンガーはこのとき知り合ったタルスキの仕事に興味を持つようになる。このメンガーの招きにより、1930年、タルスキはウィーンを訪れる。ウィーンで集合論やウカシェヴィチの三値論理に関する講義を行ったタルスキは、出席していたウィーン学団のメンバーに多大な影響を与えることとなった。
特にクルト・ゲーデルとルドルフ・カルナップに深い感銘を与えたことは特筆に値する。当時まだ博士論文を提出したばかりだったゲーデルは、ウィーン学団の基本理念には賛同していなかったが、学団の会合やセミナーには参加していた。その関係でタルスキの講義に接したゲーデルは、このときタルスキと個人的に会い、博士論文で証明した一階述語論理の完全性定理について報告している。この定理は、後にタルスキによって発展させられたモデル論において、重要な意味を持つことになる。
またカルナップは、タルスキのメタ数学的手法をこのとき吸収し、これは後のカルナップの言語哲学に大きな影響を与えた。タルスキ、ゲーデル、カルナップの3人は奇しくもその後アメリカに渡り、そこで再会を果たすことになる。
1931年2月、タルスキはゲーデルより書簡を受け取る。この書簡でゲーデルは、後に不完全性定理として知られる結果について報告している。このころ、形式言語における真理定義について研究をすすめていたタルスキは、自らも不完全性定理まであと一歩のところまで迫っていたため、この結果に衝撃を受けた。タルスキとゲーデルは友人同志ではあったが、タルスキは終生ゲーデルをライバル視していたという。