Season 3 · 1 Aug 2017#3.3 From Ulysses to Daedalus1:11:48Formulated by Parmenides: A or not-A; it grounds mathematics and non-contradiction.