Terence Tao - Finitizing Infinite Statements (via searchlore.ai)