Comment Comment by ingenter Why isn't 2+2==4 obvious?http://us.metamath.org/mpegif/mmset.html#trivia parent ingenter 10 years ago
http://us.metamath.org/mpegif/mmset.html#trivia