Batakan:Phil-mathematician-stub