NanoComplex

My blogs

About me

Introduction 認為任何相容的形式系統不能用於證明本身的無矛盾性, 以此Blog為有感而發之地