＞「宇宙は広いから地球以外に生命体がいても、
＞いいんじゃね」
今数学の話してたんじゃ無かったのか？
物理や生命科学が、形式的に証明できると思ってるのか？