User:Rosros-5/Books/Falsifiability and Truth


 * Tarski's undefinability theorem
 * Gödel's incompleteness theorems
 * Raymond Smullyan
 * Zermelo–Fraenkel set theory
 * Kurt Gödel
 * John von Neumann