図書館に行って集合論と超準解析について調べにゃならん