Martin Milan's Highlights on 'Looking for a book on finitist set theory : r/logic' | Glasp