Comments by "lars from mars" (@larsfrommars) on "What IS a Number? As Explained by a Mathematician" video.